@ARTICLE{MartiOlietEtAl12,
  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},
  year =         2012,
  volume =       81,
  pages =        {782-815}
}