Guillem Godoy, Hugo Hernández. Undecidable properties of flat term rewrite systems. Appl. Algebra Eng. Commun. Comput., 20(2):187-205, 2009. [doi]
@article{GodoyH09,
title = {Undecidable properties of flat term rewrite systems},
author = {Guillem Godoy and Hugo Hernández},
year = {2009},
doi = {10.1007/s00200-009-0097-1},
url = {http://dx.doi.org/10.1007/s00200-009-0097-1},
tags = {term rewriting, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/GodoyH09},
cites = {0},
citedby = {0},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {20},
number = {2},
pages = {187-205},
}