Two Logical Verification of Quantum NOT Gate | IEEE Conference Publication | IEEE Xplore