APA Citation

(2019). Automated deduction - CADE 22: 22nd international conference on automated deduction, Montreal, Canada, august 2-7, 2009. Proceedings.

Chicago Style Citation

Automated Deduction - CADE 22: 22nd International Conference On Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. 2019.

MLA Citation

Automated Deduction - CADE 22: 22nd International Conference On Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. 2019.

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