SpringerLink (Online service), Bonacina, M. P., & Stickel, M. E. (2013). Automated Reasoning and Mathematics: Essays in Memory of William W. McCune. Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Maria Paola Bonacina, and Mark E. Stickel. Automated Reasoning and Mathematics: Essays in Memory of William W. McCune. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Automated Reasoning and Mathematics: Essays in Memory of William W. McCune. Springer Berlin Heidelberg : Imprint: Springer, 2013.
Warning: These citations may not always be 100% accurate.
