Difference between revisions of "Bibtex:Luc04"

Latest revision as of 11:40, 19 May 2009

S. Lucas - MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting

Proc. of 15th International Conference on Rewriting Techniques and Applications, RTA'04 3091:200-209, Aachen, Germany,2004

Author : S. Lucas
Title : MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting
In : Proc. of 15th International Conference on Rewriting Techniques and Applications, RTA'04 -
Address : Aachen, Germany
Date : 2004

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