Uniform Strategies: The CADE-11 Theorem Proving Contest (1993)

by E L Lusk, W W McCune
Venue:Journal of Automated Reasoning