Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints.

Ortrun Ibens

Browse the full TABLEAUX paper archive.