English William McCune Cited by user Stephan Schulz on 12 Nov 2018 William Walker McCune (December 17, 1953 – May 4, 2011) was an American computer scientist and logician working in the fields of Automated reasoning, Algebra, Logic, and…