@article{ dblp2635846,
  title = {Parameterized Bounded-Depth Frege Is not Optimal},
  author = {Olaf Beyersdorff and Nicola Galesi and Massimo Lauria and Alexander A. Razborov},
  author_short = {Beyersdorff, O. and Galesi, N. and Lauria, M. and Razborov, A. A.},
  bibtype = {article},
  type = {article},
  year = {2012},
  key = {dblp2635846},
  id = {dblp2635846},
  biburl = {http://www.dblp.org/rec/bibtex/journals/toct/BeyersdorffGLR12},
  url = {http://doi.acm.org/10.1145/2355580.2355582},
  journal = {TOCT},
  pages = {7},
  number = {3},
  volume = {4},
  text = {TOCT 4(3):7 (2012)}
}

{"_id":"eMyxL7zc8nXs2aYAD","bibbaseid":"beyersdorff-galesi-lauria-razborov-parameterizedboundeddepthfregeisnotoptimal-2012","downloads":0,"creationDate":"2016-02-18T17:10:55.078Z","title":"Parameterized Bounded-Depth Frege Is not Optimal","author_short":["Beyersdorff, O.","Galesi, N.","Lauria, M.","Razborov, A. A."],"year":2012,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/toct/BeyersdorffGLR12","bibdata":{"title":"Parameterized Bounded-Depth Frege Is not Optimal","author":["Olaf Beyersdorff","Nicola Galesi","Massimo Lauria","Alexander A. Razborov"],"author_short":["Beyersdorff, O.","Galesi, N.","Lauria, M.","Razborov, A. A."],"bibtype":"article","type":"article","year":"2012","key":"dblp2635846","id":"dblp2635846","biburl":"http://www.dblp.org/rec/bibtex/journals/toct/BeyersdorffGLR12","url":"http://doi.acm.org/10.1145/2355580.2355582","journal":"TOCT","pages":"7","number":"3","volume":"4","text":"TOCT 4(3):7 (2012)","bibtex":"@article{ dblp2635846,\n title = {Parameterized Bounded-Depth Frege Is not Optimal},\n author = {Olaf Beyersdorff and Nicola Galesi and Massimo Lauria and Alexander A. Razborov},\n author_short = {Beyersdorff, O. and Galesi, N. and Lauria, M. and Razborov, A. A.},\n bibtype = {article},\n type = {article},\n year = {2012},\n key = {dblp2635846},\n id = {dblp2635846},\n biburl = {http://www.dblp.org/rec/bibtex/journals/toct/BeyersdorffGLR12},\n url = {http://doi.acm.org/10.1145/2355580.2355582},\n journal = {TOCT},\n pages = {7},\n number = {3},\n volume = {4},\n text = {TOCT 4(3):7 (2012)}\n}","bibbaseid":"beyersdorff-galesi-lauria-razborov-parameterizedboundeddepthfregeisnotoptimal-2012","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2355580.2355582"},"downloads":0},"search_terms":["parameterized","bounded","depth","frege","optimal","beyersdorff","galesi","lauria","razborov"],"keywords":[],"authorIDs":[],"dataSources":["JHezhWzj8FiSRHxPC"]}