On using model checking for the certification of iterated belief changes - Sauerwald, Kai; Heltweg, Philip (7th Workshop on Formal and Cognitive Reasoning, FCR 2021, 2021)
Keywords: Belief Change; Total Preorder; Implementation