Uwe Egly Karin Genther Structuring of Computer-Generated Proofs by Cut Introduction. 140-152 1997 conf/kgc/1997 Kurt Gödel Colloquium db/conf/kgc/kgc97.html#EglyG97