APA (7th ed.) Citation

International Conference on Automated Deduction Montreal, Québec, SpringerLink (Online service), & Schmidt, R. A. (2009). Automated deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 ; proceedings. Springer. https://doi.org/10.1007/978-3-642-02959-2

Chicago Style (17th ed.) Citation

International Conference on Automated Deduction Montreal, Québec, SpringerLink (Online service), and Renate A. Schmidt. Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 ; Proceedings. Berlin: Springer, 2009. https://doi.org/10.1007/978-3-642-02959-2.

MLA (9th ed.) Citation

International Conference on Automated Deduction Montreal, Québec, et al. Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 ; Proceedings. Springer, 2009. https://doi.org/10.1007/978-3-642-02959-2.