@article{AM:LMCS:13,
 author    = {Martin Avanzini and
                  Georg Moser},
 title     = {Polynomial Path Orders},
 year      = {2013},
 journal   = {Log. Methods Comput. Sci.},
 volume    = {9},
 number    = {4},
 doi       = {10.2168/LMCS-9(4:9)2013},
 keywords  = {article}
}