Title: Connection Tableau Calculi With Disjunctive Contraints