Nicola Olivetti Gian Luca Pozzato Camilla Schwind A sequent calculus and a theorem prover for standard conditional logics. 2007 8 ACM Trans. Comput. Log. 4 http://doi.acm.org/10.1145/1276920.1276924 db/journals/tocl/tocl8.html#OlivettiPS07