(2000). Automated deduction in classical and non-classical logics: Selected papers. Springer.
Chicago-Zitierstil (17. Ausg.)Automated Deduction in Classical and Non-classical Logics: Selected Papers. Berlin [u.a.]: Springer, 2000.
MLA-Zitierstil (9. Ausg.)Automated Deduction in Classical and Non-classical Logics: Selected Papers. Springer, 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.