Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints.

Ortrun Ibens

Browse the full FlAIRS paper archive.