The CLP(R) Language and System", in preparation (1989)

by J Jaffar, S Michaylov, P J Stuckey, R Yap