The TPTP problem library: CNF release v1.2.1 (1998)

by G Sutcliffe, C Suttner
Venue:In Proceedings of the Automated Reasoning Workshop