Heuristiken zum Beweisen von Gleichungen<pre>@mastersthesis{Au-96-a,
  author        = {Autexier, Serge},
  title         = {Heuristiken zum Beweisen von Gleichungen},
  type          = {Diploma Thesis},
  school        = {FB 14 Informatik, Universit\"at des Saarlandes},
  address       = {Postfach 15 11 50, 66041 Saarbr\"ucken},
  month         = {may},
  year          = {1996},
}
</pre>