Bibtex:KSZM09

BibTex

<bibtex> @inproceedings{KSZM09,

 author        = {Martin Korp and Christian Sternagel and Harald Zankl and Aart Middeldorp},
 title         = {Tyrolean Termination Tool 2}, 
 booktitle     = {Proceedings of the 20th International Conference on Rewriting Techniques and Applications},
 publisher     = {Springer-Verlag},
 series        = {Lecture Notes in Computer Science},
 pages         = {295--304},
 year          = 2009,
 volume        = 5595

} </bibtex>