@article{18871, author = {Stephen Jordan}, title = {Strong equivalence of reversible circuits is coNP-complete}, year = {2013}, month = {2013-07-02}, publisher = {Quantum Information & Computation}, url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=913896}, language = {en}, }