@inproceedings{AM:WST:09,
 author    = {M. Avanzini and G. Moser},
 title     = {Polynomial Path Orders and the Rules of Predicative Recursion with Parameter Substitution},
 year      = {2009},
 booktitle = {11th Workshop on Termination (WST)},
 pages     = {16--20},
 keywords  = {workshop}
}