A Sound and Complete Deductive System for CTL* Verification | OUP Journals & Magazine | IEEE Xplore