@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",
    DOI          = "10.1016/S0004-3702(01)00113-8",
    Comment      = "SGA,TPTPCite"
}