@inproceedings{AEM:RTA:11,
 author    = "M. Avanzini and N. Eguchi and G. Moser",
 title     = {{A Path Order for Rewrite Systems that Compute Exponential Time Functions}},
 booktitle = "Proceedings of the 22nd International Conference on Rewriting Techniques and Applications",
 series    = "Leibnitz International Proceedings in Informatics",
 volume    = "10",
 year      = 2011,
 pages     = "123--138",
 publisher = "Leibnitz Zentrum für Informatik",
}