Optimizing Compilation of Constraint Handling Rules (2001)

by Christian Holzbaur, María García de la Banda, David Jeffery, Peter J. Stuckey