-G. Gottlob/A. Leitsch/D. Mundici (Eds.): Computational Logic and Proof Theory, Springer-Verlag Proceedings 1993