Lukas Burgholzer Robert Wille Handling non-unitaries in quantum circuit equivalence checking. 529-534 2022 DAC https://doi.org/10.1145/3489517.3530482 https://www.wikidata.org/entity/Q130915469 conf/dac/2022 db/conf/dac/dac2022.html#BurgholzerW22