ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output. - Andreas Wolf 005; Johann Schumann (CADE, 1997)

E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover. - Gernot Stenz; Andreas Wolf 005 (Australian Joint Conference on Artificial Intelligence, 1999)

Strategy Selection by Genetic Programming. - Gernot Stenz; Andreas Wolf 005 (FLAIRS, 1999)

Strategy Parallelism in Automated Theorem Proving. - Andreas Wolf 005; Reinhold Letz (Int. J. Pattern Recognit. Artif. Intell., 1999)

Paralleles Theorembeweisen: Leistungssteigerung, Kooperation und Beweistransformation. - Andreas Wolf 005 (Utz, 1999)

Scheduling Methods for Parallel Automated Theorem Proving. - Gernot Stenz; Andreas Wolf 005 (AI, 2000)

E-SETHEO: An Automated3 Theorem Prover. - Gernot Stenz; Andreas Wolf 005 (TABLEAUX, 2000)