Robert Wille Lukas Burgholzer Stefan Hillmich Thomas Grurl Alexander Ploier Tom Peham The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus. 2023 abs/2301.04147 CoRR https://doi.org/10.48550/arXiv.2301.04147 db/journals/corr/corr2301.html#abs-2301-04147