Constraint Handling Rules - Compilation, Execution, and AnalysisThom FrühwirthUitverkochtHou mij op de hoogte