@inbook{Girlando_2019,
title={Nested Sequents for the Logic of Conditional Belief},
ISBN={9783030195700},
ISSN={1611-3349},
url={http://dx.doi.org/10.1007/978-3-030-19570-0_46},
DOI={10.1007/978-3-030-19570-0_46},
booktitle={Lecture Notes in Computer Science},
publisher={Springer International Publishing},
author={Girlando,
Marianna and Lellmann,
Björn and Olivetti,
Nicola},
year={2019},
pages={709–725} }