@INPROCEEDINGS{AguirreEtAl14, author = {Luis Aguirre and Narciso Mart{\'\i}-Oliet and Miguel Palomino and Isabel Pita}, title = {Conditional Narrowing Modulo in Rewriting Logic and Maude}, booktitle = {Rewriting Logic and its Applications. 10th International Workshop, WRLA 2014. Held as Satellite Event of ETAPS, Grenoble, France, April 5--6, 2014. Revised Selected Papers}, editor = {Santiago Escobar}, series = {Lecture Notes in Computer Science}, year = 2014, volume = 8663, pages = {80-96} }