%0 Journal Article %A S. Ospichev %A D. Ponomarev %T On the complexity of formulas in semantic programming %J Sibirskie èlektronnye matematičeskie izvestiâ %D 2018 %P 987-995 %V 15 %I mathdoc %U http://geodesic.mathdoc.fr/item/SEMR_2018_15_a24/ %G en %F SEMR_2018_15_a24