@inproceedings{AMS:WST:13,
 author    = "M. Avanzini and M. Schaper and G. Moser",
 title     = {{Small Polynomial Path Orders in TcT}},
 booktitle = "Proceedings of the 12th Workshop on Termination",
 year      = 2013,
 pages     = "3--7",
}