Harald Zankl, Christian Sternagel, Aart Middeldorp. Transforming SAT into Termination of Rewriting. Electronic Notes in Theoretical Computer Science, 246:199-214, 2009. [doi]
@article{ZanklSM09,
title = {Transforming SAT into Termination of Rewriting},
author = {Harald Zankl and Christian Sternagel and Aart Middeldorp},
year = {2009},
doi = {10.1016/j.entcs.2009.07.023},
url = {http://dx.doi.org/10.1016/j.entcs.2009.07.023},
tags = {termination, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/ZanklSM09},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {246},
pages = {199-214},
}