@book{22207,
	author = {Podelski, Andreas, and French Spring School of Theoretical Computer Science},
	title = {Constraint programming :},
	publisher = {Springer-Verlag,},
	year = {1995},
	address = {Berlin :},
	note = {Papers presented at the 22nd Spring School in Theoretical Computer Science in Châtillon-sur-Seine, France, May 16-20, 1994}
}