International Summer School on Constrainsts in Computational Logics, Gif-sur-Yvette, France, September 5-8, 1999 ([s.n.], 1999)