-L.-H. Eriksson/L. Hallnäs/P. Schröder-Heister (Eds.): Extensions of Logic Programming, Proceedings 1991, Springer-Verlag 1992