Burgholzer, L., & Wille, R. (2021). Advanced equivalence checking for quantum circuits. IEEE Transactions on CAD of Integrated Circuits and Systems. https://doi.org/10.1109/TCAD.2020.3032630