Raiser, Frank
[Sonstige Person, Familie und Körperschaft];
Betz, Hariolf
[Sonstige Person, Familie und Körperschaft];
Frühwirth, Thom
[Sonstige Person, Familie und Körperschaft]
A complete and terminating execution model for Constraint Handling Rules