@article{Yang_2001,
    doi = {10.1006/jcss.2001.1768},
    url = {https://doi.org/10.1006%2Fjcss.2001.1768},
    year = {2001},
    month = {sep},
    publisher = {Elsevier {BV}},
    volume = {63},
    number = {2},
    pages = {288--303},
    author = {Ke Yang},
    title = {Integer Circuit Evaluation Is {PSPACE}-Complete},
    journal = {Journal of Computer and System Sciences}
}

@article{Yang_2001, doi = {10.1006/jcss.2001.1768}, url = {https://doi.org/10.1006%2Fjcss.2001.1768}, year = {2001}, month = {sep}, publisher = {Elsevier {BV}}, volume = {63}, number = {2}, pages = {288--303}, author = {Ke Yang}, title = {Integer Circuit Evaluation Is {PSPACE}-Complete}, journal = {Journal of Computer and System Sciences} }