-S. Kaplan/J.-P. Jouannaud (Eds.): Conditional Term Rewriting Systems, Proceedings 1987, Springer-Verlag 1988