Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp. Tyrolean Termination Tool 2. In Ralf Treinen, editor, Rewriting Techniques and Applications, 20th International Conference, RTA 2009, BrasÃlia, Brazil, June 29 - July 1, 2009, Proceedings. Volume 5595 of Lecture Notes in Computer Science, pages 295-304, Springer, 2009. [doi]
Abstract is missing.