@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"
}