@INPROCEEDINGS{AguirreEtAl15,
  author =       {Luis Aguirre and Narciso Mart{\'\i}-Oliet and 
                  Miguel Palomino and Isabel Pita},
  title =        {Sentence-Normalized Conditional Narrowing Modulo in 
                  Rewriting Logic and Maude},
  booktitle =    {Logic, Rewriting, and Concurrency. Festschrift Symposium in 
                  Honor of Jos\'e Meseguer}, 
  editor =       {Carolyn Talcott and Narciso Mart{\'\i}-Oliet and 
                  Peter \"Olveczky},
  series =       {Lecture Notes in Computer Science},
  year =         2015,
  volume =       9200,
  pages =        {48-71}
}