Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; María Magdalena Fernández-Lebrón (Calculemus/MKM, 2009)

A logic-algebraic tool for reasoning with Knowledge-Based Systems. - José A. Alonso-Jiménez; Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; María Magdalena Fernández-Lebrón; María-José Hidalgo-Doblado (J. Log. Algebraic Methods Program., 2018)