@Misc{           Stenz1997,
  author = 	 {Gernot Stenz},
  title = 	 {{B}eweistransformation in Gentzenkalk\"{u}len},
  howpublished = {Diplomarbeit, {F}akult\"{a}t f\"{u}r Informatik,
		 {U}niversit\"{a}t {K}arlsruhe},
  year = 	 {1997},
  month = 	 aug
}