Joost Engelfriet. Derivation Trees of Ground Term Rewriting Systems. Inf. Comput., 152(1):1-15, 1999.
@article{Engelfriet99, title = {Derivation Trees of Ground Term Rewriting Systems}, author = {Joost Engelfriet}, year = {1999}, tags = {term rewriting, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Engelfriet99}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {152}, number = {1}, pages = {1-15}, }