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