Сверхквадратичные нижние оценки сложности формул в некоторых базисах

Исследуется сложность булевых формул в полных базисах. В некоторых базисах получены нижние оценки сложности вида $n^{2+c}$, $c>0$, для последовательности функций Андреева. Библиогр. 11.