Blackburn, P., Meyer-Viol, W., & Rijke, M. d. (1995). A proof system for finite trees.
Chicago-Zitierstil (17. Ausg.)Blackburn, Patrick, Wilfried Meyer-Viol, und Maarten de Rijke. A Proof System for Finite Trees. Amsterdam, 1995.
MLA-Zitierstil (9. Ausg.)Blackburn, Patrick, et al. A Proof System for Finite Trees. 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.