Efficient Program Transformers for Translating LCC to PDL. - Pere Pardo; Enrique Sarrión-Morillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (JELIA, 2014)

Public and Secret Forgetting of Propositional Formulas. - Ángel Nepomuceno-Fernández; Enrique Sarrión-Morillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (CAEPIA, 2015)

Forgetting complex propositions. - David Fernández-Duque; Ángel Nepomuceno-Fernández; Enrique Sarrión-Morillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (Log. J. IGPL, 2015)