Proving Termination of Rewrite Systems using Bounds

Martin Korp and Aart Middeldorp
Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA 2007), Lecture Notes in Computer Science 4533, pp. 273 – 287, 2007.

abstract   BibTeX   PDF   doi:10.1007/978-3-540-73449-9_21  
© Springer