Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams - Burgholzer, Lukas; Jimenez-Pastor, Antonio; Guldstrand, Kim; Tribastone, Mirco; Tschaikowski, Max; Wille, Robert (Acm Transactions On Quantum Computing, 2025)