@mastersthesis{Avanzini:Master:09,
 author    = "M. Avanzini",
 title     = {{Automation of Polynomial Path Orders}},
 school    = "University of Innsbruck",
 year      = 2009,
}