@inproceedings{AM:RTA:09,
 author    = "M. Avanzini and G.Moser",
 title     = {{Dependency Pairs and Polynomial Path Orders}},
 booktitle = "Proceedings of the \nth{20} International Conference on Rewriting Techniques and Applications",
 series    = "Lecture Notes in Computer Science",
 volume    = "5595",
 year      = 2009,
 pages     = "48--62",
 publisher = "Springer Verlag Heidelberg",
}