To, S.; Son, T.; Pontelli, E. On the Use of Prime Implicates in Conformant Planning. AAAI 2010, 24, 1205-1210.