@article{WRLA-J-2010-RiescoVMC12,
	author        = "Adrián Riesco and Alberto Verdejo and Narciso Martí-Oliet and Rafael Caballero",
	doi           = "10.1016/j.jlap.2011.06.004",
	journal       = "{Journal of Logic and Algebraic Programming}",
	number        = "7-8",
	pages         = "851--897",
	title         = "{Declarative debugging of rewriting logic specifications}",
	volume        = 81,
	year          = 2012,
}