Bibtex:RZ09
From Termination-Portal.org
BibTex
Matthias Raffelsieper, Hans Zantema - A Transformational Approach to Prove Outermost Termination Automatically
- Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008) 237:3--21,2009
- http://www.sciencedirect.com/science/article/B75H1-4VXW9BM-2/2/605a0eb821e594c2a7e88892fa106a0a
BibtexAuthor : Matthias Raffelsieper, Hans Zantema
Title : A Transformational Approach to Prove Outermost Termination Automatically
In : Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008) -
Address :
Date : 2009
