arXiv 2004-07-29 EN A Sequent Calculus and a Theorem Prover for Standard Conditional Logics Olivetti, Nicola · Pozzato, Gian Luca · Schwind, Camilla
