The TPTP problem library for automated theorem proving (2005)

by G Sutcliffe, C B Suttner