@inproceedings{b1b82ca050f74f319512d1d83ad16ee6,
title = "MTT: The maude termination tool (system description)",
author = "Francisco Dur{\'a}n and Salvador Lucas and Jos{\'e} Meseguer",
note = "Funding Information: Work partially supported by the EU (FEDER) and Spanish MEC under grants TIN 2005-09405-C02-01 and TIN 2007-68093-C02-02; Jos{\'e} Meseguer was partially supported by ONR grant N00014-02-1-0715 and NSF Grant CCR-0234524.; 4th International Joint Conference on Automated Reasoning, IJCAR 2008 ; Conference date: 12-08-2008 Through 15-08-2008",
year = "2008",
doi = "10.1007/978-3-540-71070-7_27",
language = "English (US)",
isbn = "3540710698",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "313--319",
booktitle = "Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings",
}