1. Ayari, A. and Basin, D. Bounded model construction for monadic second-order logics. In Computer Aided Verification, 2000 pp. 99–112.
2. Basin, D. and Klarlund, N. 1998, Automata based symbolic reasoning in hardware verification. Formal Methods in System Design, Extended version of “Hardware verification using monadic second-order logic,” Computer aided verification: 7th International Conference, CAV ‘95, LNCS 939, 1995, pp. 255–288.
3. Bell, J. and Machover, M. A Course in Mathematical Logic. North-Holland, 1977.
4. Bryant, R. E. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3) (1992) 293–318.
5. Büchi, J. Weak second-order arithmetic and finite automata. Z. Math. Logik Grundl. Math., 6 (1960) 66–92.