Bibtex:Luc04

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>