View source for Bibtex:KSZM09

[[Category:Bibtex| ]]
[[Category:BibtexNews| ]]    <!-- remove this line if this is not a new publication -->
== BibTex ==
<!-- Please add the BibTeX data below this comment. -->
<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><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->