Choice sequences and reduction processes. R. Haberthür — 1978 Archiv für mathematische Logik und Grundlagenforschung