@InProceedings{CS02,
    Author       = "Colton, S. and Sutcliffe, G.",
    Year         = "2002",
    Title        = "{Automatic Generation of Benchmark Problems for Automated
                    Theorem Proving Systems}",
    Editor       = "Faltings, B.",
    BookTitle    = "{Proceedings of the 7th International Symposium on
                    Artificial Intelligence and Mathematics}",
    Place        = "Ft Lauderdale, USA",
    Pages        = "AI-M 4-2002.",
    Comment      = "TPTPCite"
}