Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind. A sequent calculus and a theorem prover for standard conditional logics. ACM Trans. Comput. Log., 8(4):22, 2007. [doi]
@article{OlivettiPS07, title = {A sequent calculus and a theorem prover for standard conditional logics}, author = {Nicola Olivetti and Gian Luca Pozzato and Camilla Schwind}, year = {2007}, doi = {10.1145/1276920.1276924}, url = {http://doi.acm.org/10.1145/1276920.1276924}, tags = {logic}, researchr = {https://researchr.org/publication/OlivettiPS07}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {8}, number = {4}, pages = {22}, }