Bibtex:KSZM09

From Termination-Portal.org
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