Automated Reasoning and Mathematics Essays in Memory of William W. McCune - Bonacina, Maria Paola; Stickel, Mark E. (Springer Berlin Heidelberg : Imprint: Springer, 2013)