Structuring of Computer-Generated Proofs by Cut Introduction

Uwe Egly, Karin Genther. Structuring of Computer-Generated Proofs by Cut Introduction. In Georg Gottlob, Alexander Leitsch, Daniele Mundici, editors, Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC 97, Vienna, Austria, August 25-29, 1997, Proceedings. Volume 1289 of Lecture Notes in Computer Science, pages 140-152, Springer, 1997.

Abstract

Abstract is missing.