%0 Journal Article
%A N. K. Zamov
%A V. I. Sharonov
%T A certain algorithm of search for an inference in a cellular calculus
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 1968
%P 71-75
%V 128
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZKU_1968_128_2_a5/
%G ru
%F UZKU_1968_128_2_a5