Richard Booth, Jake Chandler: From iterated revision to iterated contraction: Extending the Harper Identity. Artif. Intell. 277 (2019)