Mehmet Dincbas Pascal Van Hentenryck Helmut Simonis Abderrahmane Aggoun Thomas Graf Françoise Berthier The Constraint Logic Programming Language CHIP. 693-702 1988 FGCS db/conf/fgcs/fgcs88.html#DincbasHSAGB88