Irène Durand. Bounded, Strongly Sequential and Forward-Branching Term Rewriting Systems. Journal of Symbolic Computation, 18(4):319-352, 1994.
@article{Durand94:0,
title = {Bounded, Strongly Sequential and Forward-Branching Term Rewriting Systems},
author = {Irène Durand},
year = {1994},
tags = {term rewriting, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/Durand94%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {18},
number = {4},
pages = {319-352},
}