Conditional Narrowing Modulo in Rewriting Logic and Maude. - Luis Aguirre 001; Narciso Martí-Oliet; Miguel Palomino; Isabel Pita (WRLA, 2014)

Conditional narrowing modulo SMT and axioms. - Luis Aguirre 001; Narciso Martí-Oliet; Miguel Palomino; Isabel Pita (PPDP, 2017)

Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. - Luis Aguirre 001; Narciso Martí-Oliet; Miguel Palomino; Isabel Pita (J. Autom. Reason., 2018)

Strategies in Conditional Narrowing Modulo SMT Plus Axioms. - Luis Aguirre 001; Narciso Martí-Oliet; Miguel Palomino; Isabel Pita (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)