Hans Zantema. Termination of Term Rewriting by Semantic Labelling. Fundamenta Informaticae, 24(1/2):89-105, 1995.
@article{Zantema95,
title = {Termination of Term Rewriting by Semantic Labelling},
author = {Hans Zantema},
year = {1995},
tags = {term rewriting, termination, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/Zantema95},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {24},
number = {1/2},
pages = {89-105},
}