Citace podle APA

Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.

Styl Chicago

Alan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.

Citace podle MLA

Alan 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..