@article{ZNSL_2006_340_a1,
     author = {D. M. Itsykson and A. A. Kojevnikov},
     title = {Lower bounds of static {Lov\'asz--Schrijver} calculus proofs for {Tseitin} tautologies},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {10--32},
     publisher = {mathdoc},
     volume = {340},
     year = {2006},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_2006_340_a1/}
}