@inproceedings{AE:WST:10,
 author    = "M. Avanzini and N. Eguchi",
 title     = {{A New Path Order for Exponential Time}},
 booktitle = "Proceedings of the 11th Workshop on Termination",
 year      = 2010,
}