@InProceedings{BergerSchwichtenberg95b,
  author = 	 "Ulrich Berger and Helmut Schwichtenberg",
  title = 	 "Program Extraction from Classical Proofs",
  editor =	 "D. Leivant",
  volume =	 "960",
  series =	 "LNCS",
  pages =	 "77--97",
  booktitle =	 "Logic and Computational Complexity, International
		  Workshop LCC '94, Indianapolis, IN, USA, October 1994",
  year =	 "1995",
  publisher =	 "Springer-Verlag"}