@article{DA_2012_19_3_a0, author = {S. V. Avgustinovich and Yu. L. Vasil'ev and K. L. Rychkov}, title = {The computation complexity in the class of formulas}, journal = {Diskretnyj analiz i issledovanie operacij}, pages = {3--12}, publisher = {mathdoc}, volume = {19}, number = {3}, year = {2012}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DA_2012_19_3_a0/} }