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