The TPTP Problem Library: CNF Release v1.2.1 (1998)

by G Sutcliffe, C B Suttner
Venue:Journal of Automated Reasoning