Zaslat SMS: Automated reasoning and mathematics : essays in memory of William W. McCune / Maria Paola Bonacina, Mark E. Stickel (eds.).