APA引文

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

Chicago Edition Citation

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

MLA引文

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

警告：这些引文格式不一定是100％准确.