9th International Workshop on Constraint Handling Rules (CHR 2012), Budapest, Ungarn, 4. September 2012 veröffentlicht am: 15. Mai 2012
