"From iterated revision to iterated contraction: Extending the Harper Identity."

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