Tyrolean Termination Tool (0)

by N Hirokawa, A Middeldorp
Venue:Proc. of 16th International Conference on Rewriting Techniques and Applications, RTA’05, LNCS 3467:175-184, 2005. Available at http:// cl2-informatik.uibk.ac.at