APA Цитирование

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

Chicago-стиль цитирования

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

MLA-цитирование

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

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.