@mastersthesis{1459661, author = {Koller, Alexander and Wildmann, Martina}, title = {Ausgabe eines Beweisprotokolls - Löschen von Definitionen}, year = {1994}, }