Structuring of Computer-Generated Proofs by Cut Introduction. - Uwe Egly; Karin Genther (Kurt Gödel Colloquium, 1997)