Heuristiken zum Beweisen von Gleichungen
@mastersthesis{Au-96-a,
  author        = {Autexier, Serge},
  title         = {Heuristiken zum Beweisen von Gleichungen},
  type          = {Diploma Thesis},
  school        = {FB 14 Informatik, Universität des Saarlandes},
  address       = {Postfach 15 11 50, 66041 Saarbrücken},
  month         = {may},
  year          = {1996},
}