Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers.

Akira Aiba Ryuzo Hasegawa Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers. 113-131 1992 FGCS db/conf/fgcs/fgcs92.html#AibaH92