Constraints in Computational Logics by Jean-Pierre Jouannaud