"Extending the Harper Identity to Iterated Belief Change."

Richard Booth, Jake Chandler (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics