TPTP Reference: SS+10

@InProceedings{SS+10,
    Author       = "Sutcliffe, G. and Suda, M. and Teyssandier, A. and Dellis, N. and de Melo, G.",
    Year         = "2010",
    Title        = "{Progress Towards Effective Automated Reasoning with World Knowledge}",
    Editor       = "Murray, C. and Guesgen, H.",
    BookTitle    = "{Proceedings of the 23rd International FLAIRS Conference}",
    Place        = "Daytona Beach, USA",
    Pages        = "110-115",
    Publisher    = "AAAI Press",
    Comment      = "TPTPRef"
}