-S. Kaplan/M. Okada (Eds.): Conditional and Typed Rewriting Systems, Springer-Verlag Proceedings 1990