ANÁLISIS, OPTIMIZACIÓN Y VERIFICACIÓN DE PROGRAMAS LÓGICOS CON RESTRICCIONES DE ORDEN SUPERIOR. - MORALES CABALLERO, José Francisco (Investigador principal (IP)) (2026)