Tableau Calculi for

Rgis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky

Browse the full CSL paper archive.