Friedrich Otto, Frantisek Mráz. Lambda-confluence for context rewriting systems. Theoretical Computer Science, 578:88-99, 2015. [doi]
@article{OttoM15, title = {Lambda-confluence for context rewriting systems}, author = {Friedrich Otto and Frantisek Mráz}, year = {2015}, doi = {10.1016/j.tcs.2015.01.013}, url = {http://dx.doi.org/10.1016/j.tcs.2015.01.013}, researchr = {https://researchr.org/publication/OttoM15}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {578}, pages = {88-99}, }