@MASTERSTHESIS{Palomino-mthesis,
  author =       {Miguel Palomino},
  title =        {Relating {M}eseguer's Rewriting Logic and the
                  Constructor-Based Rewriting Logic},
  school =       {Facultad de Matem\'aticas, Universidad Complutense
                  de Madrid},
  year =         2001,
  month =        may,
  note =         {\url{http://maude.cs.uiuc.edu/papers}}
}