Theory and practice of Constraint Handling Rules (1998)

by T Frühwirth
Venue:October), 95–138. Special Issue on Constraint Logic Programming