@Article{ALR12,
    Author       = "Alvez, J. and Lucio, P. and Rigau, G.",
    Year         = "2012",
    Title        = "{Adimen-SUMO: Reengineering an Ontology for First-Order
                    Reasoning}",
    Journal      = "International Journal on Semantic Web and Information
                    Systems",
    Volume       = "8",
    Number       = "3",
    Pages        = "80-116",
    Publisher    = "IGI Global",
    Comment      = "TPTPRef"
}