Lista de

FORMALEX
3
Mazzini, Damián. (2021). "Recuperando 'fórmulas culpables' de un lenguaje deóntico mediante el mapeo inverso de unsat cores". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Faciano, Carlos Augusto. (2016). "Optimizando el rendimiento de la herramienta FormaLex de análisis de documentos normativos". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Gunski, María Celeste; Raiczyk, Melisa Gabriela. (2016). "FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.