Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis. VINTE: an Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning.
TABLEAUX 2017, Sep 2017, Brasilia, Brazil. pp.149-159.
⟨hal-01794382⟩