@MastersThesis{	  Ahrendt95,
  author	= {Wolfgang Ahrendt},
  title		= {{Von PROLOG zur WAM---Verifikation der
		  Prozedur\"{u}bersetzung mit KIV}},
  school	= {Fakult\"{a}t f\"{u}r Informatik, Universit\"{a}t Karlsruhe},
  type		= {Diplomarbeit},
  month		= dec,
  year		= {1995}
}