APA-Zitierstil (7. Ausg.)

(2000). Automated deduction in classical and non-classical logics: Selected papers. Springer. https://doi.org/10.1007/3-540-46508-1

Chicago-Zitierstil (17. Ausg.)

Automated Deduction in Classical and Non-classical Logics: Selected Papers. Berlin [u.a.]: Springer, 2000. https://doi.org/10.1007/3-540-46508-1.

MLA-Zitierstil (9. Ausg.)

Automated Deduction in Classical and Non-classical Logics: Selected Papers. Springer, 2000. https://doi.org/10.1007/3-540-46508-1.