B. Lellmann:
"Theorem Proving for Lewis Logics of Counterfactual Reasoning";
in: "Proceedings of CILC 2020. CEUR Workshop Proceedings, 2020.", 2710; F. Calimeri et al. (ed.); Creative Commons License Attribution 4.0 International (CC BY 4.0)., 2020, ISSN: 1613-0073, 199 - 213.