9th International Workshop on Constraint Handling Rules (CHR 2012), Budapest, Ungarn, 4. September 2012 published at: 15. May 2012
