The CLP(R) language and system (1992)

by Joxan Jaffar, Spiro Michaylov, Peter J Stuckey, Roland H C Yap
Venue:ACM Trans. Program. Lang. Syst