@article{CIAA-J-2013-OttoM15,
	author        = "Friedrich Otto and Frantisek Mráz",
	doi           = "10.1016/j.tcs.2015.01.013",
	journal       = "{Theor. Comput. Sci}",
	pages         = "88--99",
	publisher     = "{Elsevier}",
	title         = "{λ-confluence for context rewriting systems}",
	volume        = 578,
	year          = 2015,
}