Jeroen Ketema. Counterexamples in infinitary rewriting with non-fully-extended rules. Inf. Process. Lett., 111(13):642-646, 2011. [doi]
@article{Ketema11, title = {Counterexamples in infinitary rewriting with non-fully-extended rules}, author = {Jeroen Ketema}, year = {2011}, doi = {10.1016/j.ipl.2011.04.001}, url = {http://dx.doi.org/10.1016/j.ipl.2011.04.001}, tags = {rule-based, graph-rewriting, rules, rewriting}, researchr = {https://researchr.org/publication/Ketema11}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {111}, number = {13}, pages = {642-646}, }