1. A.V. Aho, J.E. Hopcroft, J.D. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, MA, 1974.
2. A.V. Aho, D.S. Johnson, R.M. Karp, S.R. Kosaraju, C.C. McGeoch, C.H. Papadimitriou, P. Pevzner, Theory of computing: goals and directions, 15 March 1996.
3. Binary Decision Diagrams
4. Boolean satisfiability and equivalence checking using general binary decision diagrams;Ashar;Integration, VLSI J.,1992
5. A linear-time algorithm for testing the truth of certain quantified Boolean formulas;Aspvall;Inform. Process. Lett.,1979