Ibens, O. (1999). Connection tableau calculi with disjunctive constraints.
Chicago-Zitierstil (17. Ausg.)Ibens, Ortrun. Connection Tableau Calculi with Disjunctive Constraints. 1999.
MLA-Zitierstil (9. Ausg.)Ibens, Ortrun. Connection Tableau Calculi with Disjunctive Constraints. 1999.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.