@misc{indiciae567bb2b930f0, title = {Equivalence checking of quantum circuits by nonlocality}, author = {Weixiao Sun and Zhaohui Wei}, year = {2022}, url = {https://arxiv.org/abs/2105.02634}, note = {Source identifier: 2105.02634} }