1. Ben-Ari, M., Z. Manna and A. Pnueli. The temporal logic of branching time, in: Proceedings of the 8th ACM Symposium on Principles of Programming Languages, 164-176, 1981
2. Bernholtz, O., M. Vardi and P. Wolper, An automata-theotetic approach to branching-time model checking, in: D. Dill, editor. Computer Aided Verification, Proc. 6th Int. Conference, Stanford CA, June 1994, LNCS 818 (1994), pp. 142-155
3. A proof system for finite trees;Blackburn;Computer Science Logic, LNCS,1996
4. TABLEAUX: a general theorem prover for modal logics;Catach;Journal of Automated Reasoning,1991
5. Designs and synthesis of synchronization skeletons using branching time tempral logic, in: Proc. Logic of Programs Workshop;Clarke;LNCS,1981