Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics. - Valentina Gliozzi; Gian Luca Pozzato; Gabriele Tessore; Alberto Valese (J. Log. Comput., 2024)