Experimental Equivalence Checking of Quantum Circuits by Nonlocality | Publicación