Automated Reasoning and Mathematics : Essays in Memory of William W. McCune - Maria Paola Bonacina, Mark E. Stickel ((Lecture Notes in Computer Science))