Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together. - Nicola Olivetti; Nikola Panic; Gian Luca Pozzato (AI*IA, 2022)

Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle. - Nikola Panic; Gian Luca Pozzato (CILC, 2022)