APA (7th ed.) Citation

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 Berlin Heidelberg : Imprint: Springer.

Chicago Style (17th ed.) Citation

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, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2009.

MLA (8th ed.) Citation

SpringerLink (Online service) and Renate A. Schmidt. Automated Deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2009.