You are about to access our book library "Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Computer Science Book 7788) full version" .