Performance improvement on legal model checking. - Carlos Faciano; Sergio Mera; Fernando Schapachnik; Ana Haydée Di Iorio; Bibiana Luz Clara; Verónica Uriarte; María Fernanda Giaccaglia; María Belén Ruffa; Cristian Marcos (ICAIL, 2017)