Methodology and implementation of a CLP system (1987)

by J Jaffar, S Michaylov
Venue:in: Proceedings Fourth b~ternational Conference on Logic Programming