Optimizing compilation of constraint handling rules (2001)

by C Holzbaur, de la Banda, M G, D Jeffery, P J Stuckey
Venue:In Proceedings of the 2001 International Conference on Logic Programming. Lecture Notes in Computer Science