@article{MAIS_2017_24_4_a2, author = {V. A. Zakharov and Sh. R. Zhailauova}, title = {On the minimization problem for sequential programs}, journal = {Modelirovanie i analiz informacionnyh sistem}, pages = {415--433}, publisher = {mathdoc}, volume = {24}, number = {4}, year = {2017}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a2/} }