@Article{J18,
  key =		 {J18},
  author =	 {Christoph Benzm{\"u}ller and Chad Brown and Michael Kohlhase},
  title =	 {Cut-Simulation and Impredicativity},
  journal =	 {Logical Methods in Computer Science},
  year =	 2009,
  volume = {5},
  number = {1:6},
  pages =  {1-21},
  note = {doi:10.2168/LMCS-5(1:6)2009},
}