@INPROCEEDINGS{PitaPalomino04,
  author =       {Isabel Pita and Miguel Palomino},
  title =        {Proving Modal Properties of Rewrite Theories using 
                  {Maude's} Metalevel},
  booktitle =    {Proceedings of the Fourth Spanish Conference on Programming 
                  and Computer Languages (PROLE 2004)},
  editor =       {Salvador Lucas},
  pages =        {133-150},
  series =       {Electronic Notes in Theoretical Computer Science},
  publisher =    {Elsevier},
  volume =       137,
  number =       1,
  year =         2005
}