Difference between revisions of "Bibtex:KSZM09"

Latest revision as of 14:29, 18 May 2009

Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp - Tyrolean Termination Tool 2

Proceedings of the 20th International Conference on Rewriting Techniques and Applications 5595:295--304,2009

Author : Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp
Title : Tyrolean Termination Tool 2
In : Proceedings of the 20th International Conference on Rewriting Techniques and Applications -
Address :
Date : 2009

@@ Line 5: / Line 5: @@
 <bibtex>
 @inproceedings{KSZM09,
-   author        = "M. Korp and C. Sternagel and H. Zankl and A. Middeldorp",
+   author        = {Martin Korp and Christian Sternagel and Harald Zankl and Aart Middeldorp},
-   title         = "Tyrolean Termination Tool 2",
+   title         = {Tyrolean Termination Tool 2},
-   booktitle     = "Proceedings RTA '09",
+   booktitle     = {Proceedings of the 20th International Conference on Rewriting Techniques and Applications},
-   publisher     = "Springer",
+   publisher     = {Springer-Verlag},
-   series        = "LNCS",
+   series        = {Lecture Notes in Computer Science},
-   pages         = "295-304",
+   pages         = {295--304},
-   year          = "2009",
+   year          = 2009,
-   note          = "To appear."
+   volume        = 5595
 }
 </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->