View source for Bibtex:Luc04

[[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{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><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->