SpringerLink (Online service), Caferra, R., & Salzer, G. (2000). Automated deduction in classical and non-classical logics: Selected papers. Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Ricardo Caferra, and Gernot Salzer. Automated Deduction in Classical and Non-classical Logics: Selected Papers. Berlin ; New York: Springer, 2000.
MLA (9th ed.) CitationSpringerLink (Online service), et al. Automated Deduction in Classical and Non-classical Logics: Selected Papers. Springer, 2000.
Warning: These citations may not always be 100% accurate.