Cita APA (7a ed.)
Ricardo Caferra, G. S. Automated Deduction in Classical and Non-Classical Logics: Selected Papers. Springer.
Cita estilo Chicago (17a ed.)
Ricardo Caferra, Gernot Salzer. Automated Deduction in Classical and Non-Classical Logics: Selected Papers. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Ricardo Caferra, Gernot Salzer. Automated Deduction in Classical and Non-Classical Logics: Selected Papers. Springer.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.