Ortrun Ibens

An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints

Ortrun Ibens, Marc Fuchs, Marc Fuchs, 2001, Int. J. Artif. Intell. Tools.

Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints

Ortrun Ibens, 2000, TABLEAUX.

Improving Temporal Logic Tableaux Using Integer Constraints

Reiner Hähnle, Ortrun Ibens, 1994, ICTL.

Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints

Ortrun Ibens, 2000, FLAIRS Conference.

Subgoal Alternation in Model Elimination

Ortrun Ibens, Reinhold Letz, 1997, TABLEAUX.

The SETHEO System (system description)

Ortrun Ibens, 1997, WLP.

Connection Tableau Calculi with Disjunctive Constraints

Ortrun Ibens, 1999, Stud Logica.

SETHEO and E-SETHEO - The CADE-13 Systems

Joachim Steinbach, Christoph Goller, Johann Schumann, 2004, Journal of Automated Reasoning.