@MastersThesis{Prelrewlog_2001,
  author =       {Miguel {Palomino Tarjuelo}},
  title =        {Relating {M}eseguer's Rewriting Logic with the
                  Constructor-Based Rewriting Logic},
  school =       {Facultad de Matem{\'a}ticas, Universidad Complutense
                  de Madrid, Spain},
  year =         2001,
  month =        may,
}