Son Thanh To, Tran Cao Son, Enrico Pontelli: Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. AAAI 2011: 1023-1028