A Causal Model Checker for Legal Cases.

Ruta Liepina, Tiago de Lima, Emiliano Lorini, Giuseppe Pisano, Giovanni Sartor

Browse the full ICAIL paper archive.