Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.
Styl ChicagoAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Citace podle MLAAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..