Constraints in computational logics first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings - Jouannaud, Jean-Pierre (Lecture notes in computer science, 1994)