Equivalence checking of quantum circuits by nonlocality | Publicación