%0 Journal Article %A B. A. Trakhtenbrot %T Autoreducibility %J Doklady Akademii Nauk %D 1970 %P 1224-1227 %V 192 %N 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1970_192_6_a7/ %G ru %F DAN_1970_192_6_a7