@ARTICLE{AguirreEtAl17,
  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},
                  Peter \"Olveczky},
  journal =      {Journal of Automated Reasoning},
  year =         2017
}