To, S., Son, T. and Pontelli, E. (2010) “On the Use of Prime Implicates in Conformant Planning”, Proceedings of the AAAI Conference on Artificial Intelligence, 24(1), pp. 1205–1210. doi: 10.1609/aaai.v24i1.7757.