Bibtex:DLM08

BibTex

<bibtex> @inproceedings{DBLP:conf/cade/DuranLM08,

 author    = {F. Durán and
              S. Lucas and
              J. Meseguer},
 title     = {MTT: The Maude Termination Tool (System Description)},
 booktitle = {Automated Reasoning, 4th International Joint Conference, IJCAR'08},
 year      = {2008},
 pages     = {313-319},
 publisher = {Springer},
 series    = {Lecture Notes in Computer Science},
 editor    = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},

}

</bibtex>