@conference{AEM:RTA:11,
 author    = {Martin Avanzini and
                  Naohi Eguchi and
                  Georg Moser},
 title     = {A Path Order for Rewrite Systems that Compute Exponential Time Functions},
 year      = {2011},
 booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
                  and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
 series    = {LIPIcs},
 volume    = {10},
 pages     = {123--138},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 doi       = {10.4230/LIPICS.RTA.2011.123},
 keywords  = {conference}
}