@phdthesis{Avanzini:Diss:13,
 author    = "M. Avanzini",
 title     = {{Verifying Polytime Computability Automatically}},
 school    = "University of Innsbruck",
 year      = 2013,
}