Theory and Practice of Constraint Handling Rules (1998)

by T Frhwirth
Venue:Journal of Logic Programming