TY  - RPRT
TI  - Strong equivalence of reversible circuits is coNP-complete
AU  - Stephen P. Jordan
PY  - 2013
UR  - https://arxiv.org/abs/1307.0836
ID  - 1307.0836
ER  -