NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics.

Nicola Olivetti, Gian Luca Pozzato

Browse the full CADE paper archive.