Constraint Logic Programming Selected Research - Benhamou, Frederic; Colmerauer, Alain (Massachusetts Institute of Technology Cambridge Mass., 1993)
includes bibl. references Εργαστήριο Θεμελιώσεων Επιστήμης Υπολογιστών