The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
scientific article; zbMATH DE number 6833659
scientific article