Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams - L Burgholzer; A Jimenez-Pastor; K Larsen; M Tribastone; M Tschaikowski (Acm Transactions On Quantum Computing, 2023)