Untersuchungen über die automatische Lösung von Aufgaben der konstruktiven Geometrie - Reutter, Fritz; Heyne, Eberhard (Forschungsberichte des Landes Nordrhein-Westfalen, 1973)