-M. Hanus/M. Rogrigüz-Artalejo (Eds.): Algebraic and Logic Programming. Proceedings 1996, Springer-Verlag 1996