@misc{indiciae4aa7e6acade8,
  title = {Dependency Pairs and Polynomial Path Orders},
  author = {Martin Avanzini and Georg Moser},
  year = {2011},
  url = {https://arxiv.org/abs/0904.0981},
  note = {Source identifier: 0904.0981}
}