An XQDD-Based Verification Method for Quantum Circuits.

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2008)