Dieter Hofbauer, Maria Huber. Linearizing Term Rewriting Systems Using Test Sets. Journal of Symbolic Computation, 17(1):91-129, 1994.
@article{HofbauerH94,
title = {Linearizing Term Rewriting Systems Using Test Sets},
author = {Dieter Hofbauer and Maria Huber},
year = {1994},
tags = {term rewriting, testing, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/HofbauerH94},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {17},
number = {1},
pages = {91-129},
}