Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese. Proof Methods and Theorem Proving for Conditional Logics with Strong Centering. In Agostino Dovier, Andrea Formisano 0001, editors, Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. Volume 3428 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Abstract is missing.