@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}
}