@misc{indiciae496f0d0a9cf5, title = {Strong equivalence of reversible circuits is coNP-complete}, author = {Stephen P. Jordan}, year = {2013}, url = {https://arxiv.org/abs/1307.0836}, note = {Source identifier: 1307.0836} }