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