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








	
}