Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.
Chicago Edition CitationAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
MLA Edition CitationAlan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.
Warning: These citations may not always be 100% accurate.