@InProceedings{SS99-FLAIRS,
    Author       = "Sutcliffe, G. and Seyfang, D.",
    Year         = "1999",
    Title        = "{Smart Selective Competition Parallelism ATP}",
    Editor       = "Kumar, A. and Russell, I.",
    BookTitle    = "{Proceedings of the 12th International FLAIRS Conference}",
    Place        = "Orlando, USA",
    Pages        = "341-345",
    Publisher    = "AAAI Press",
    Comment      = "SystemOnTPTP,TPTPCite"
}