The CLP(R) programmer's manual version 1.2 (0)

by N Heintze, N Jaffar, S Michaylov, P Stuckey, R Yap
Venue:IBM T. J. Watson Research