1. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. Transactions on Computers C-35, 677–691 (1986)
2. Buchs, D., Hostettler, S.: Managing complexity in model checking with decision diagrams for algebraic petri net. In: Moldt, D. (ed.) Pre-proceedings of the International Workshop on Petri Nets and Software Engineering, pp. 255–271 (2009),
http://smv.unige.ch/publications/pdfs/pnse09.pdf
3. Buchs, D., Hostettler, S.: Sigma Decision Diagrams: Toward efficient rewriting of sets of terms. In: Corradini, A. (ed.) TERMGRAPH 2009: Preliminary proceedings of the 5th International Workshop on Computing with Terms and Graphs, number TR-09-05 in TERMGRAPH workshops, Università di Pisa, pp. 18–32 (2009),
http://smv.unige.ch/publications/pdfs/termgraph09.pdf
4. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Inf. Comput. 98(2), 142–170 (1992)
5. Lecture Notes in Computer Science;G. Ciardo,2000