ESTUDIO DE LA VIABILIDAD Y CORRESPONDIENTE DISEÑO DE UN LENGUAJE Y SISTEMA DE TABULACIÓN CON RESTRICCIONES PARA PROGRAMACIÓN LÓGICA - CARRO LIÑARES, MANUEL (Investigador principal (IP)) (2012)