%0 Journal Article
%A D. Yu. Vlasov
%T Smm, the simpefied metamath
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2012
%P 13-25
%V 12
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2012_12_2_a1/
%G ru
%F VNGU_2012_12_2_a1