Letz, R. (2000). Tableau and connection calculi: Structure, complexity, implementation.
Chicago-Zitierstil (17. Ausg.)Letz, Reinhold. Tableau and Connection Calculi: Structure, Complexity, Implementation. 2000.
MLA-Zitierstil (9. Ausg.)Letz, Reinhold. Tableau and Connection Calculi: Structure, Complexity, Implementation. 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.