-H. Kirchner/W. Wechler (Eds.): Algebraic ard Logic Programming, Proceedings 1990, Springer-Verlag 1990