С. Б. Гашков, И. С. Сергеев, “Об одном методе получения нижних оценок сложности монотонных арифметических схем, вычисляющих действительные многочлены”, Матем. сб., 203:10 (2012), 33–70 ; S. B. Gashkov, I. S. Sergeev, “A method for deriving lower bounds for the complexity of monotone arithmetic circuits computing real polynomials”, Sb. Math., 203:10 (2012), 1411–1447