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