@inproceedings{AM:RTA:13b,
 author    = "M. Avanzini and G.Moser",
 title     = {{Tyrolean Complexity Tool: Features and Usage}},
 booktitle = "Proceedings of the \nth{24} International Conference on Rewriting Techniques and Applications",
 series    = "Leibnitz International Proceedings in Informatics",
 volume    = "21",
 year      = 2013,
 pages     = "71--80",
 publisher = "Leibnitz Zentrum für Informatik",
}