@INPROCEEDINGS{PalominoPita04,
  author =       {Miguel Palomino and Isabel Pita},
  title =        {Proving {VLRL} Action Properties with the {Maude} Model 
                  Checker},
  booktitle =    {Proceedings Fifth International Workshop on Rewriting Logic 
                  and its Applications, WRLA 2004, Barcelona, Spain,
                  March 27--28, 2004},
  year =         2005,
  editor =       {Narciso Mart{\'\i}-Oliet},
  publisher =    {Elsevier},
  series =       {Electronic Notes in Theoretical Computer Science},
  volumen =      117,
  pages =        {113-133}
}