| Conditional narrowing modulo SMT and axioms L Aguirre, N Martí-Oliet, M Palomino, I Pita Proceedings of the 19th International Symposium on Principles and Practice …, 2017 | 9 | 2017 |
| Conditional narrowing modulo in rewriting logic and Maude L Aguirre, N Martí-Oliet, M Palomino, I Pita International Workshop on Rewriting Logic and its Applications, 80-96, 2014 | 9 | 2014 |
| Sentence-normalized conditional narrowing modulo in rewriting logic and maude L Aguirre, N Martí-Oliet, M Palomino, I Pita Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015 | 7 | 2015 |
| Strategies in conditional narrowing modulo SMT plus axioms L Aguirre, N Martí-Oliet, M Palomino, I Pita Analysis, Verification and Transformation for Declarative Programming and …, 2023 | 3 | 2023 |
| Conditional Narrowing Modulo SMT Plus Axioms L Aguirre, N Martí-Oliet, M Palomino, I Pita | | 2017 |
