1. Algebraic decision diagrams and their applications;Bahar;FMSD,1997
2. I. Beer, S. Ben-David, D. Geist, R. Gewirtzman, M. Yoeli, Methodology and system for practical formal verification of reactive hardware, in: Proc. sixth CAV, Lecture Notes in Computer Science, Vol. 818, 1994, pp. 182–193.
3. R. Bloem, H.N. Gabow, F. Somenzi, An algorithm for strongly connected component analysis in nlogn symbolic steps, in: Proc. FMCAD, Lecture Notes in Computer Science, Vol. 1954, 2000, pp. 37–54.
4. J.R. Büchi, On a decision method in restricted second order arithmetic, in: Proc. Internat. Congr. Logic, Method and Philosophical Sciences, Vol. 1960, Stanford University Press, Stanford, 1962, pp. 1–12.
5. Symbolic model checking;Burch;Inform. and Comput.,1992