Ortrun Ibens Marc Fuchs An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints. 181-198 2001 10 International Journal on Artificial Intelligence Tools 1-2 db/journals/ijait/ijait10.html#IbensF01