On the Formalization of Termination Techniques based on Multiset Orderings

René Thiemann, Guillaume Allais, and Julian Nagele
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012), Leibniz International Proceedings in Informatics 15, pp. 339 – 354, 2012.

abstract   BibTeX   PDF   doi:10.4230/LIPIcs.RTA.2012.339  
Creative Commons License – NC – ND