Geoff Sutcliffe Christian B. Suttner The TPTP Problem Library - CNF Release v1.2.1. 177-203 1998 21 J. Autom. Reasoning 2 db/journals/jar/jar21.html#SutcliffeS98 http://dx.doi.org/10.1023/A:1005806324129