@article{Chow_2011,
    doi = {10.1016/j.jcss.2010.06.017},
    url = {https://doi.org/10.1016%2Fj.jcss.2010.06.017},
    year = {2011},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {77},
    number = {4},
    pages = {728--737},
    author = {Timothy Y. Chow},
    title = {Almost-natural proofs},
    journal = {Journal of Computer and System Sciences}
}

@article{Chow_2011, doi = {10.1016/j.jcss.2010.06.017}, url = {https://doi.org/10.1016%2Fj.jcss.2010.06.017}, year = {2011}, month = {jul}, publisher = {Elsevier {BV}}, volume = {77}, number = {4}, pages = {728--737}, author = {Timothy Y. Chow}, title = {Almost-natural proofs}, journal = {Journal of Computer and System Sciences} }