TY  - RPRT
TI  - Elementary Iterated Revision and the Levi Identity
AU  - Jake Chandler
AU  - Richard Booth
PY  - 2019
UR  - https://arxiv.org/abs/1907.01224
ID  - 1907.01224
ER  -