Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.
Stile di citazione ChicagoAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Citazione MLAAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.