Yanjun Li, Quan Yu, Yanjing Wang: More for free: a dynamic epistemic framework for conformant planning over transition systems. J. Log. Comput. 27(8): 2383-2410 (2017)