Zhi Qiang Zhuang Maurice Pagnucco Thomas Meyer Implementing Iterated Belief Change Via Prime Implicates. 507-518 2007 conf/ausai/2007 Australian Conference on Artificial Intelligence http://dx.doi.org/10.1007/978-3-540-76928-6_52 db/conf/ausai/ausai2007.html#ZhuangPM07