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

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