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