(1)
To, S.; Son, T.; Pontelli, E. Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. AAAI 2011, 25, 1023-1028.