@TechReport{R39,
  key    =       {R39},
  author = 	 {Christoph Benzm{\"u}ller and Chad E. Brown and Michael Kohlhase},
  title = 	 {Cut-Simulation in Impredicative Logics (extended version)},
  institution =  {Saarland University, Saarbr{\"u}cken, Germany},
  year = 	 2006,
  type =	 {SEKI Report (ISSN 1437-4447)},
  number =	 {SR-2006-01}
}