@INPROCEEDINGS{Palomino01,
  author =       {Miguel Palomino},
  title =        {Comparing {M}eseguer's Rewriting Logic with the Logic {CRWL}},
  booktitle =    {International Workshop on Functional and (Constraint)
                  Logic Programming (WFLP 2001). Selected Papers},
  year =         2001,
  editor =       {Michael Hanus},
  volume =       64,
  series =       {Electronic Notes in Theoretical Computer Science},
  publisher =    {Elsevier}
}