Integrating HR and tptp2X into MathWeb to Compare Automated Theorem Provers (2002)

by J Zimmer, A Franke, S Colton, G Sutcliffe
Venue:Proceedings of the CADE'02 Workshop on Problems and Problem Sets