Matthias Raffelsieper, Hans Zantema. A Transformational Approach to Prove Outermost Termination Automatically. Electronic Notes in Theoretical Computer Science, 237:3-21, 2009. [doi]
@article{RaffelsieperZ09, title = {A Transformational Approach to Prove Outermost Termination Automatically}, author = {Matthias Raffelsieper and Hans Zantema}, year = {2009}, doi = {10.1016/j.entcs.2009.03.032}, url = {http://dx.doi.org/10.1016/j.entcs.2009.03.032}, tags = {termination, systematic-approach, transformation}, researchr = {https://researchr.org/publication/RaffelsieperZ09}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {237}, pages = {3-21}, }