Equivalence Checking of Quantum Circuits with the ZX-Calculus. - Peham, Tom; Burgholzer, Lukas; Wille, Robert (CoRR, 2022)