Michael J. Maher Peter J. Stuckey Expanding Query Power in Constraint Logic Programming Languages. 20-36 1989 NACLP db/conf/slp/slp89.html#MaherS89