Bibtex:KSZM09

From Termination-Portal.org
Revision as of 14:29, 18 May 2009 by Griff (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

BibTex

Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp - Tyrolean Termination Tool 2

Proceedings of the 20th International Conference on Rewriting Techniques and Applications 5595:295--304,2009
Bibtex
Author : Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp
Title : Tyrolean Termination Tool 2
In : Proceedings of the 20th International Conference on Rewriting Techniques and Applications -
Address :
Date : 2009
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:KSZM09&oldid=802"