@PHDTHESIS{Oli03, author = {Oliva, Paulo}, title = {Proof Mining in Subsystems of Analysis}, school = {Department of Computer Science, University of Aarhus, Denmark}, year = {2003}, address = {Aarhus}, keywords = {bib,cca} }