부분 결과서지만 확인
On a method for obtaining more than quadratic effective lower bounds for the complexity of π-schemesA. E. Andreev · 1987Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 1987년 1호, 70–73쪽 (러시아어)불 식(formula)의 크기에 대해 2차를 넘는 하한을 주는 명시적 함수를 내놓은 논문으로 널리 인용된다. 여기서 정의된 함수를 Andreev 함수라 부르며, hastad-1998 의 n³ 가까운 식 크기 하한도 이 함수에 대한 것으로 알려져 있다. 일반 회로보다 약한 모형에서 하한이 어디까지 왔는지 적으려는 글에 맞다.
확인:러시아 수학 포털 Math-Net.Ru 의 논문 페이지에서 제목·저자·호·쪽을 확인했다(본문은 열지 못함).