@article{WRLA-J-2010-KatelmanKM12,
	author        = "Michael Katelman and Sean Keller and José Meseguer",
	doi           = "10.1016/j.jlap.2012.06.002",
	journal       = "{Journal of Logic and Algebraic Programming}",
	number        = "7-8",
	pages         = "929--956",
	title         = "{Rewriting semantics of production rule sets}",
	volume        = 81,
	year          = 2012,
}