%0 Journal Article
%A V. M. Fedorov
%T Haken’s algorithm is primitive recursive
%J Doklady Akademii Nauk
%D 1976
%P 787-788
%V 226
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1976_226_4_a12/
%G ru
%F DAN_1976_226_4_a12