To, S., Son, T., & Pontelli, E. (2011). Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 1023-1028. https://doi.org/10.1609/aaai.v25i1.8015