Advanced equivalence checking for quantum circuits - Burgholzer, Lukas; Wille, Robert (IEEE Transactions on CAD of Integrated Circuits and Systems, 2021)