APA (7th ed.) Citation

Bundy, A. (1994). Automated deduction - CADE-12: Proceedings. Springer - Verlag.

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.