%0 Journal Article
%A A. NERODE
%T Additive Relations among Recursive Equivalence Types.
%J Mathematische Annalen
%D 1965
%P 329-343
%V 159
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1965__159_182693/
%F MAN_1965__159_182693