Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.
Citação norma ChicagoAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Citação norma MLAAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.