Optimizing compilation of Constraint Handling Rules (2005)

by C Holzbaur, M García de la Banda, P J Stuckey, G J Duck
Venue:in HAL,” Theory and Practice of Logic Programming — Special Issue on Constraint Handling Rules