%0 Journal Article
%A G. S. Tseitin
%T An associative calculus with an insoluble problem of equivalence
%J Informatics and Automation
%D 1958
%P 172-189
%V 52
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TRSPY_1958_52_a5/
%G ru
%F TRSPY_1958_52_a5