%0 Journal Article
%A M. Joudakizadeh
%A A. P. Bel'tyukov
%T Two-level realization of logical formulas for deductive program synthesis
%J Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki
%D 2024
%P 469-485
%V 34
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VUU_2024_34_4_a0/
%G en
%F VUU_2024_34_4_a0