To, Son, Tran Son, and Enrico Pontelli. 2010. “A New Approach to Conformant Planning Using CNF∗”. Proceedings of the International Conference on Automated Planning and Scheduling 20 (1):169-76. https://doi.org/10.1609/icaps.v20i1.13425.