@article{lmcs:752, title = {Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples}, author = {Joerg Endrullis and Clemens Grabmayer and Dimitri Hendriks and Jan Willem Klop and Vincent van Oostrom}, url = {https://lmcs.episciences.org/752}, doi = {10.2168/LMCS-10(2:7)2014}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 10, Issue 2}, eid = 7, year = {2014}, month = {Jun}, keywords = {Computer Science - Logic in Computer Science}, }