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