Marin, Sonia,
Miller, Dale E. and
Volpe, Marco. 2016.
“A Focused Framework for Emulating Modal Proof Systems.” in
Advances in Modal Logic, volume XI, edited by Lev D.
Beklemishev, Stéphane
Demri, and András
Maté, pp. 469–488. London: King’s College Publications.