%0 Journal Article
%A I. V. Latkin
%T Recognition complexity of theories and their computational expressivity
%J Algebra i logika
%D 2012
%P 216-238
%V 51
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2012_51_2_a4/
%G ru
%F AL_2012_51_2_a4