Constraint-Based Reasoning - Freuder, Eugene C.; Mackworth, Alan K. (Massachusetts Institute of Technology Cambridge Mass. Bradford Book, 1992)
includes bibl. references Εργαστήριο Θεμελιώσεων Επιστήμης Υπολογιστών