Trích dẫn APA

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

Trích dẫn kiểu Chicago

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

Trích dẫn MLA

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

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.