Ein Algorithmus zur automatischen Lösung konstruktiver Problemstellungen S. HARMS; W.D. KLIX — 1977 Beiträge zur Algebra und Geometrie = Contributions to algebra and geometry