Enno Ohlebusch. Modularity of Termination for Disjoint Term Graph Rewrite Systems: A Simple Proof. Bulletin of the EATCS, 66:171-177, 1998.
@article{Ohlebusch98:0,
title = {Modularity of Termination for Disjoint Term Graph Rewrite Systems: A Simple Proof},
author = {Enno Ohlebusch},
year = {1998},
tags = {term rewriting, termination, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/Ohlebusch98%3A0},
cites = {0},
citedby = {0},
journal = {Bulletin of the EATCS},
volume = {66},
pages = {171-177},
}