The Semantics Of Constraint Logic Programs (1996)

by Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey
Venue:JOURNAL OF LOGIC PROGRAMMING