1. Biere A., A. Cimatti, E. Clarke and Y. Zhu, Symbolic model checking without BDDs, in: TACAS, 99.
2. Biere A., E. Clarke and Y. Zhu, Multiple state and single state tableaux for combining local and global model checking, in: Correct System Design (Recent Insights and Advances), number 1710 in LNCS, 2000.
3. Boppana V., S. Rajan, K. Takayama and M. Fujita, Model checking based on sequential ATPG, in: CAV, 99.
4. Characterizing finite Kripke structures in propositional logic;Browne;Theoretical Computer Science,1988
5. Graph-based algorithms for boolean function manipulation;Bryant;IEEE Transactions on Computers,1986