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