Constraints in Computational Logics door Jean-Pierre Jouannaud