T. Son, E. Pontelli, C. Baral, and G. Gelfond, “Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence”, AAAI, vol. 29, no. 1, Feb. 2015.