Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. - Régis Alenda; Nicola Olivetti; Camilla Schwind (TABLEAUX, 2009)

CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. - Régis Alenda; Nicola Olivetti; Gian Luca Pozzato (M4M, 2009)

Tableau Calculi for CSL mathcal{CSL} over minspaces. - Régis Alenda; Nicola Olivetti; Camilla Schwind; Dmitry Tishkovsky (CSL, 2010)

Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces. - Régis Alenda; Nicola Olivetti (LPAR (Yogyakarta), 2010)

CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces. - Régis Alenda; Nicola Olivetti (TABLEAUX, 2011)

Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models. - Régis Alenda; Nicola Olivetti (JELIA, 2012)

Nested Sequent Calculi for Conditional Logics. - Régis Alenda; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2012)

Nested sequent calculi for normal conditional logics. - Régis Alenda; Nicola Olivetti; Gian Luca Pozzato (J. Log. Comput., 2016)