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)

Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. - Gernot Stenz; Wolfgang Ahrendt; Bernhard Beckert (J. Univers. Comput. Sci., 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)

Model Elimination and Connection Tableau Procedures. - Reinhold Letz; Gernot Stenz (Handbook of Automated Reasoning, 2001)

DCTP - A Disconnection Calculus Theorem Prover - System Abstract. - Reinhold Letz; Gernot Stenz (IJCAR, 2001)

Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux. - Reinhold Letz; Gernot Stenz (LPAR, 2001)

Integration of Equality Reasoning into the Disconnection Calculus. - Reinhold Letz; Gernot Stenz (TABLEAUX, 2002)

DCTP 1.2 - System Abstract. - Gernot Stenz (TABLEAUX, 2002)

The disconnection calculus. - Gernot Stenz (Logos-Verlag, 2002)

Universal Variables in Disconnection Tableaux. - Reinhold Letz; Gernot Stenz (TABLEAUX, 2003)

Generalised Handling of Variables in Disconnection Tableaux. - Reinhold Letz; Gernot Stenz (IJCAR, 2004)

Proof Output and Transformation for Disconnection Tableaux. - Philipp Correll; Gernot Stenz (TABLEAUX, 2005)

Unit Propagation in a Tableau Framework. - Gernot Stenz (TABLEAUX, 2005)

The Disconnection Tableau Calculus. - Reinhold Letz; Gernot Stenz (J. Autom. Reason., 2007)

Passive User Integration in Social Networking Services. - Stephan Leutenmayr; Gernot Stenz (GI Jahrestagung, 2009)