The TPTP problem library - Christian B. Suttner; Geoff Sutcliffe; Theodor Yemenis (Forschungsberichte, TU Munich, 1993)