Robuta

https://www.bimsa.cn/talk/8605.html
equivalence checkingquantum informationcircuitsnonlocality