The CLP(R) Programmer's Manual: Version 2.0 (1987)

by N C Heintze, J Jaffar, S Michaylov, P J Stuckey, R Yap