Ortrun Ibens Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints. 13-17 2000 conf/flairs/2000 FLAIRS Conference db/conf/flairs/flairs2000.html#Ibens00