-H. Kirchner/G. Levi (Eds.): Algebraic and Logic Programming, Proceedings 1992, Springer-Verlag 1992