Rintanen, J. (1999b). Improvements to the Evaluation of Quantified Boolean Formulae.

In Dean, T. (Ed.), 16th International Joint Conference on Artificial Intelligence, pp. 192-1197. Morgan Kaufmann Publishers.

Smith, D. E., & Weld, D. S. (1998).  Conformant graphplan. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98) and of the 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98), pp. 889–896 Menlo Park. AAAI Press.

Somenzi, F. (1997).  CUDD:  CU  Decision Diagram package - release 2.1.2.  Department of Electrical and Computer Engineering - University of Colorado at Boulder.

Weld, D. S., Anderson, C. R., & Smith, D. E. (1998). Extending graphplan to handle uccrtainty and sensing actions. In Proceedings of the 15th National Conference on Artificial Intelligence (AAI-98) and of the 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98), pp. 897–904 Menlo Park. AAAI Press.

Yang, B., Bryant, R. E., O'Hallaron, D. R., Biere, A., Coudert, O., Janssen, G., Ranjan, R. K., & Somenzi, F. (1998). A performance study of BDD-based model checking. In Proceedings of the Formal Methods on Computer-Aided Design, pp. 255–289.