Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. - Girlando, Marianna; Lellmann, Björn; Olivetti, Nicola; Pesce, Stefano; Pozzato, Gian Luca (Journal of Logic & Computation, 2022)