S. To, T. Son, and E. Pontelli, “On the Use of Prime Implicates in Conformant Planning”, AAAI, vol. 24, no. 1, pp. 1205-1210, Jul. 2010.