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