%0 Journal Article
%A Richard Friedberg
%T The uniqueness of finite division for recursive equivalence types.
%J Mathematische Zeitschrift
%D 1961
%P 3-7
%V 75
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZ_1961__75_169898/
%F MZ_1961__75_169898