Stephan Falke, Deepak Kapur. Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures. Electronic Notes in Theoretical Computer Science, 237:75-90, 2009. [doi]
@article{FalkeK09,
title = {Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures},
author = {Stephan Falke and Deepak Kapur},
year = {2009},
doi = {10.1016/j.entcs.2009.03.036},
url = {http://dx.doi.org/10.1016/j.entcs.2009.03.036},
tags = {termination, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/FalkeK09},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {237},
pages = {75-90},
}