A Deductive Proof System for CTL.

Amir Pnueli, Yonit Kesten

Browse the full CONCUR paper archive.