Constraint programming : basics and trends : 1994 Châtillon spring school, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers - Podelski, Andreas (Lecture notes in computer science ;, 1995)