Forward and Backward Constrained Bisimulations for Quantum Circuits | Publicación