-J.-P. Jouannaud (Ed.): Constraints in Computational Logics. Proceedings 1994, Springer-Verlag 1994