S. To, T. Son, and E. Pontelli, “Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula”, AAAI, vol. 25, no. 1, pp. 1023-1028, Aug. 2011.