VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Gian Luca Pozzato; Quentin Vitalis (TABLEAUX, 2017)