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