TY - RPRT TI - Checking Equivalence of Quantum Circuits and States AU - George F. Viamontes AU - Igor L. Markov AU - John P. Hayes PY - 2007 UR - https://arxiv.org/abs/0705.0017 ID - 0705.0017 ER -