TY - RPRT TI - Shaded tangles for the design and verification of quantum circuits AU - David J. Reutter AU - Jamie Vicary PY - 2019 DO - 10.1098/rspa.2018.0338 UR - https://arxiv.org/abs/1805.01540 ID - 1805.01540 ER -