Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp
Tyrolean Termination Tool 2
RTA, 2009.
@inproceedings{RTA-2009-KorpSZM,
author = "Martin Korp and Christian Sternagel and Harald Zankl and Aart Middeldorp",
booktitle = "{Proceedings of the 20th International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/978-3-642-02348-4_21",
editor = "Ralf Treinen",
isbn = "978-3-642-02347-7",
pages = "295--304",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Tyrolean Termination Tool 2}",
volume = 5595,
year = 2009,
}
Tags: