Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.
Styl cytowania ChicagoAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Styl cytowania MLAAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..