%0 Journal Article
%A B. A. Trakhtenbrot
%T The complexity of reduction algorithms in Novikov-Boone
%J Algebra i logika
%D 1969
%P 93-128
%V 8
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1969_8_1_a5/
%G ru
%F AL_1969_8_1_a5