@Bibtex-file{Theory/rwl.bib,
  title =        "Bibliography on Rewriting Logic and Applications",
  author-1 =     "Narciso Marti-Oliet",
  email-1 =      "narciso@sip.ucm.es",
  author-2 =     "Jose Meseguer",
  author-3 =     "Miguel Palomino",
  supported =    "yes",
  readme =       "Prepared for TCS special issue on the subject. The
                 bibliography is maintained by Narciso Marti-Oliet. The
                 following paper contains a \htmladdnormallink{roadmap
                 for the bibliography}
                 {http://maude.csl.sri.com/bibliography/roadmap.ps}",
}