Javier Álvez, Paqui Lucio, German Rigau. Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning. Int. J. Semantic Web Inf. Syst. 8(4): 80-116

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro. Semantics of structured normal logic programs. J. Log. Algebr. Program. 81(5): 559-584