@article{AM:LMCS:13,
 author    = "M. Avanzini and G. Moser",
 title     = {{Polynomial Path Orders}},
 journal   = {{Logical Methods in Computer Science}},
 volume    = "9",
 year      = 2013,
 publisher = "Leibnitz Zentrum für Informatik",
}