-V.W. Marek/A. Nerode/M. Truszczynski (Eds.): Logic Programming and Nonmonotonic Reasoning, Springer-Verlag Proceedings 1995 (Subseries LNAI)