@MastersThesis{Sch93,
  author = 	 "S. Schulz",
  title = 	 "{Analyse und Transformation von Gleichheitsbeweisen}",
  school = 	 "Fachbereich Informatik, Universit{\"a}t
                  Kai\-sers\-lau\-tern",
  year = 	 "1993",
  type =	 {Projektarbeit in Informatik},
  note =         "(German Language)"
}