"Optimizing Compilation of CHR with Rule Priorities."

Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics