María-José Hidalgo-Doblado

Formally Verified Tableau-Based Reasoners for a Description Logic

María-José Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, 2013, Journal of Automated Reasoning.

A logic-algebraic tool for reasoning with Knowledge-Based Systems pdf

María-José Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, 2018, J. Log. Algebraic Methods Program..