@article{WRLA-J-2010-Meseguer12,
	author        = "José Meseguer",
	doi           = "10.1016/j.jlap.2012.06.003",
	journal       = "{Journal of Logic and Algebraic Programming}",
	number        = "7-8",
	pages         = "721--781",
	title         = "{Twenty years of rewriting logic}",
	volume        = 81,
	year          = 2012,
}