"Performance improvement on legal model checking" (2017) Faciano, C.;Di Iorio, A.H.;Giaccaglia, M.F. (...)Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; Weightmans 16th International Conference on Artificial Intelligence and Law, ICAIL 2017:59-68