@article{DBLP:journals/tcs/GuoK17,
  author    = {Siyao Guo and
               Ilan Komargodski},
  title     = {Negation-limited formulas},
  journal   = {Theor. Comput. Sci.},
  volume    = {660},
  pages     = {75--85},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.tcs.2016.11.027},
  doi       = {10.1016/j.tcs.2016.11.027},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/GuoK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"gPZz7amxdHpJcwk6f","bibbaseid":"guo-komargodski-negationlimitedformulas-2017","downloads":0,"creationDate":"2018-08-01T01:02:28.577Z","title":"Negation-limited formulas","author_short":["Guo, S.","Komargodski, I."],"year":2017,"bibtype":"article","biburl":"https://dblp.org/pid/49/11433.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Siyao"],"propositions":[],"lastnames":["Guo"],"suffixes":[]},{"firstnames":["Ilan"],"propositions":[],"lastnames":["Komargodski"],"suffixes":[]}],"title":"Negation-limited formulas","journal":"Theor. Comput. Sci.","volume":"660","pages":"75–85","year":"2017","url":"https://doi.org/10.1016/j.tcs.2016.11.027","doi":"10.1016/j.tcs.2016.11.027","timestamp":"Sun, 28 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/tcs/GuoK17","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tcs/GuoK17,\n author = {Siyao Guo and\n Ilan Komargodski},\n title = {Negation-limited formulas},\n journal = {Theor. Comput. Sci.},\n volume = {660},\n pages = {75--85},\n year = {2017},\n url = {https://doi.org/10.1016/j.tcs.2016.11.027},\n doi = {10.1016/j.tcs.2016.11.027},\n timestamp = {Sun, 28 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/tcs/GuoK17},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Guo, S.","Komargodski, I."],"key":"DBLP:journals/tcs/GuoK17","id":"DBLP:journals/tcs/GuoK17","bibbaseid":"guo-komargodski-negationlimitedformulas-2017","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.tcs.2016.11.027"},"downloads":0},"search_terms":["negation","limited","formulas","guo","komargodski"],"keywords":[],"authorIDs":[],"dataSources":["WkouaWowTAZvaSMYX"]}