CondLean: A Theorem Prover for Conditional Logics.

Nicola Olivetti, Gian Luca Pozzato

Browse the full TABLEAUX paper archive.