Title: Arbeitsberichte des instituts für mathematische maschinen und datenverarbeitung (informatik)