The TPTP problem library (1994)

by G Sutcliffe, C Suttner, T Yemenis
Venue:In Automated Deduction --- CADE-12, Springer LNAI 814