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