Theodor Yemenis, "The TPTP Problem Library (1994)

by Geoff Sutcliffe, Christian Suttner
Venue:in Automated Deduction - CADE-12. 12th International Conference on Automated Deduction, edited by Alan