Vol-1067⫷ Vol-1068 ⫸Vol-1069
urn:nbn:de:0074-1068-0


None⫷None⫸None
Nicola OlivettiGian Luca Pozzato

Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics