Fuchs, M. (2000). Relevancy based use of lemmas in connection tableau calculi. Akad. Verl.-Ges. Aka.
Chicago-Zitierstil (17. Ausg.)Fuchs, Marc. Relevancy Based Use of Lemmas in Connection Tableau Calculi. Berlin: Akad. Verl.-Ges. Aka, 2000.
MLA-Zitierstil (9. Ausg.)Fuchs, Marc. Relevancy Based Use of Lemmas in Connection Tableau Calculi. Akad. Verl.-Ges. Aka, 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.