Bibtex:Luc04: Difference between revisions

Latest revision as of 11:40, 19 May 2009

BibTex

<bibtex> @inproceedings{Luc04,

   author = "S. Lucas",
   title = "MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting",
   booktitle = "Proc. of 15th International Conference on Rewriting Techniques and Applications, RTA'04",
   editor = "V. van Oostrom",
   series = "Lecture Notes in Computer Science",
   volume = "3091",
   pages = "200-209",
   year = "2004",
   address = "Aachen, Germany",
   publisher = "Springer-Verlag"

} </bibtex>

@@ Line 5: / Line 5: @@
 <bibtex>
 @inproceedings{Luc04,
-     author = {Lucas, S.},
+     author = "S. Lucas",
-     title = {{MU-TERM: A Tool for Proving Termination of
+     title = "MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting",
-                  Context-Sensitive Rewriting}},
+     booktitle = "Proc. of 15th International Conference on Rewriting Techniques and Applications, RTA'04",
-     booktitle = {Proc.\ of 15th International Conference on Rewriting
+     editor = "V. van Oostrom",
-                  Techniques and Applications, RTA'04},
+     series = "Lecture Notes in Computer Science",
-     editor = {Oostrom, V. van},
+     volume = "3091",
-     series = {Lecture Notes in Computer Science},
+     pages = "200-209",
-     volume = {3091},
+     year = "2004",
-     pages = {200--209},
+     address = "Aachen, Germany",
-     year = {2004},
+     publisher = "Springer-Verlag"
-     address = {Aachen, Germany},
+}
-     publisher = {Springer-Verlag},
+</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
-    note = {Available at \url{http://zenon.dsic.upv.es/muterm/}}
-}</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->