Refactoring of Quantum and Reversible Circuits - Lukac, Martin; Nursultan, Saadat; Krylov, Georgiy; Keszöcze, Oliver (International Workshop on Quantum Compilation, 2020)