Improving Temporal Logic Tableaux Using Integer Constraints. - Reiner Hähnle; Ortrun Ibens (ICTL, 1994)

Subgoal Alternation in Model Elimination. - Ortrun Ibens; Reinhold Letz (TABLEAUX, 1997)

The SETHEO System (system description). - Ortrun Ibens (WLP, 1997)

SETHEO and E-SETHEO - The CADE-13 Systems. - Max Moser; Ortrun Ibens; Reinhold Letz; Joachim Steinbach; Christoph Goller; Johann Schumann; Klaus Mayr (J. Autom. Reason., 1997)

Connection tableau calculi with disjunctive constraints. - Ortrun Ibens (Infix, 1999)

Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints. - Ortrun Ibens (FLAIRS, 2000)

Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints. - Ortrun Ibens (TABLEAUX, 2000)

An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints. - Ortrun Ibens; Marc Fuchs (Int. J. Artif. Intell. Tools, 2001)

Connection Tableau Calculi with Disjunctive Constraints. - Ortrun Ibens (Stud Logica, 2002)