@Article{SS01, Author = "Sutcliffe, G. and Suttner, C.B.", Year = "2001", Title = "{Evaluating General Purpose Automated Theorem Proving Systems}", Journal = "Artificial Intelligence", Volume = "131", Number = "1-2", Pages = "39-54", Comment = "SGA,TPTPCite" }