(1)
Son, T.; Pontelli, E.; Baral, C.; Gelfond, G. Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence. AAAI 2015, 29.