Performance improvement on legal model checking.

Carlos Faciano, Sergio Mera, Fernando Schapachnik, Ana Hayde Di Iorio, Bibiana Luz Clara, Vernica Uriarte, Mara Fernanda Giaccaglia, Mara Beln Ruffa, Cristian Marcos

Browse the full ICAIL paper archive.