@Misc{            GieseDA,
  author        = {Martin Giese},
  title         = {{I}ntegriertes automatisches und interaktives 
                   {B}eweisen: {D}ie {K}alk\"{u}lebene},
  howpublished  = {Diploma Thesis, {F}akult\"{a}t f\"{u}r Informatik,
                  {U}niversit\"{a}t {K}arlsruhe},
  month         = jun,
  year          = {1998}
}