A Simple Proof of the Alternation Theorem | IEEE Conference Publication | IEEE Xplore