Brinker, C. (2000). Geometrisches Schließen mit SPASS. Master Thesis, Universität des Saarlandes, Saarbrücken.