http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Bibtex%3ARZ09Bibtex:RZ09 - Revision history2026-05-08T13:56:40ZRevision history for this page on the wikiMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Bibtex:RZ09&diff=803&oldid=prevMraffels: New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @inproceedings{RZ09, title = "A Transformational Approach to Prove Outermost Termination...2009-05-18T14:37:08Z<p>New page: <a href="/wiki/Category:Bibtex" title="Category:Bibtex"> </a> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @inproceedings{RZ09, title = "A Transformational Approach to Prove Outermost Termination...</p>
<p><b>New page</b></p><div>[[Category:Bibtex| ]]<br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{RZ09,<br />
title = "A Transformational Approach to Prove Outermost Termination Automatically",<br />
author = "Matthias Raffelsieper and Hans Zantema",<br />
booktitle = "Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008)",<br />
series = "Electronic Notes in Theoretical Computer Science",<br />
volume = "237",<br />
number = "",<br />
pages = "3--21",<br />
year = "2009",<br />
issn = "1571-0661",<br />
doi = "DOI: 10.1016/j.entcs.2009.03.032",<br />
url = "http://www.sciencedirect.com/science/article/B75H1-4VXW9BM-2/2/605a0eb821e594c2a7e88892fa106a0a"<br />
}<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Mraffels