Gabriel M. Kuper Mark Wallace Constraint Databases and Applications, ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995, Proceedings CDB Lecture Notes in Computer Science 1034 Springer 1996 3-540-60794-3 db/conf/cdb/cdb95.html