APA Citation

(2013). Automated reasoning and mathematics: Essays in memory of William W. McCune.

Chicago Style Citation

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune. 2013.

MLA Citation

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune. 2013.

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