1
Automated Reasoning and Mathematics [E-Book] : Essays in Memory of William W. McCune /