Bibtex:RZ09

BibTex

<bibtex> @inproceedings{RZ09, title = "A Transformational Approach to Prove Outermost Termination Automatically", author = "Matthias Raffelsieper and Hans Zantema", booktitle = "Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008)", series = "Electronic Notes in Theoretical Computer Science", volume = "237", number = "", pages = "3--21", year = "2009", issn = "1571-0661", doi = "DOI: 10.1016/j.entcs.2009.03.032", url = "http://www.sciencedirect.com/science/article/B75H1-4VXW9BM-2/2/605a0eb821e594c2a7e88892fa106a0a" } </bibtex>