To, S.; Son, T.; Pontelli, E. A New Approach to Conformant Planning Using CNF∗. ICAPS 2021, 20, 169-176.