%0 Journal Article %A R. Haberthür %T Choice sequences and reduction processes. %J Archiv für mathematische Logik und Grundlagenforschung %D 1978 %P 31-50 %V 19 %I mathdoc %U http://geodesic.mathdoc.fr/item/AMLG_1978__19_137943/ %F AMLG_1978__19_137943