Rewriting logic bibliography by topic: 1990-2011

Journal of Logic and Algebraic Programming, 81(7-8):782-815, 2012.

Abstract: This bibliography compiles, to the best of our knowledge, all the papers on rewriting logic and its applications which have been written during the more than 20 years that have passed since the introduction of rewriting logic in 1990. The papers are classified according to five main areas: foundations, logical and semantic framework, languages, tools, and applications.

[pdf]

@article{jlap/Marti-OlietPV12,
  author    = {Narciso Mart\'{\i}-Oliet and
               Miguel Palomino and
               Alberto Verdejo},
  title     = {Rewriting logic bibliography by topic: 1990-2011},
  journal   = {Journal of Logic and Algebraic Programming},
  volume    = {81},
  number    = {7-8},
  year      = {2012},
  pages     = {782-815},
  ee        = {http://dx.doi.org/10.1016/j.jlap.2012.06.001}
}