%0 Journal Article
%A A. P. Beltyukov
%T Interactive realizations of logical formulas
%J Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki
%D 2016
%P 177-193
%V 26
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VUU_2016_26_2_a3/
%G ru
%F VUU_2016_26_2_a3