A Prolog Constraint Handling Rules Compiler and Runtime System (2000)

by C Holzbaur, T Frühwirth
Venue:Special Issue Journal of Applied Artificial Intelligence on Constraint Handling Rules