-M. Hanus/J. Heering/K. Meinke (Eds.): Algebraic and Logic Programming. Proccedings, Springer-Verlag 1997