\Bibitem{Raz90} \by A.~A.~Razborov \paper Lower bounds of the complexity of symmetric boolean functions of contact-rectifier circuits \jour Mat. Zametki \yr 1990 \vol 48 \issue 6 \pages 79--90 \mathnet{http://mi.mathnet.ru/mzm3411} \mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1102624} \zmath{https://zbmath.org/?q=an:0801.68091|0712.68053} \transl \jour Math. Notes \yr 1990 \vol 48 \issue 6 \pages 1226--1234 \crossref{https://doi.org/10.1007/BF01240265} \isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1990FY46100025}