1. A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In Proc. TACAS’99, March 1999. To appear.
2. Lect Notes Comput Sci;R. K. Brayton,1996
3. J. Burch, E. Clarke, and D. Long. Representing Circuits More Efficiently in Symbolic Model Checking. In Proc. of the 28th ACM/IEEE Design Automation Conference, pages 403–407, Los Alamitos, CA, June 1991. IEEE Computer Society Press.
4. A. Cimatti, M. Roveri, and P. Traverso. Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains. In Proc. of the 15th National Conference on Artificial Intelligence (AAAI-98), Madison,Wisconsin, 1998. AAAI-Press.
5. O. Grumberg E. Clarke and K. Hamaguchi. Another Look at LTL Model Checking. Formal Methods in System Design, 10(1):57–71, February 1997.