Constraint databases and applications : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings / - Kuper, Gabriel.; Wallace, M. (Springer,, 1996)