The following publications are possibly variants of this publication:
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and MaudeLuis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita. BIRTHDAY 2015: 48-71 [doi]
- Conditional Narrowing Modulo in Rewriting Logic and MaudeLuis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita. WRLA 2014: 80-96 [doi]
- Maude: specification and programming in rewriting logicManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. TCS, 285(2):187-243, 2002. [doi]