Automated Reasoning Contributed to Mathematics and Logic.

Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler

Browse the full CADE paper archive.