@article{VUU_2024_34_4_a0,
     author = {M. Joudakizadeh and A. P. Bel'tyukov},
     title = {Two-level realization of logical formulas for deductive program synthesis},
     journal = {Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹ\^uternye nauki},
     pages = {469--485},
     publisher = {mathdoc},
     volume = {34},
     number = {4},
     year = {2024},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/VUU_2024_34_4_a0/}
}