TY - BOOK AU - Benhamou,Frédéric AU - Colmerauer,A. TI - Constraint logic programming: selected research SN - 0262023539 AV - QA76.63 .C66 1993 U1 - 005.1/1 20 PY - 1993/// CY - Cambridge, Mass. PB - MIT Press KW - Logic programming KW - Constraint programming (Computer science) N1 - Includes bibliographical references ER -