Delladio Fedi, Telma Programación en lógica inductiva para la corrección de bases de conocimiento lógicas Standard No.: DIF-M3635