Siyao Guo, Ilan Komargodski. Negation-limited formulas. Theoretical Computer Science, 660:75-85, 2017. [doi]
@article{GuoK17,
title = {Negation-limited formulas},
author = {Siyao Guo and Ilan Komargodski},
year = {2017},
doi = {10.1016/j.tcs.2016.11.027},
url = {http://dx.doi.org/10.1016/j.tcs.2016.11.027},
researchr = {https://researchr.org/publication/GuoK17},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {660},
pages = {75-85},
}