Verifikation von Worthypothesen - Muehlfeld, Reinhard (Arbeitsberichte des Instituts für mathematische Maschinen und Datenverarbeitung <Informatik>, 1985)