Reyes, Nora Susana Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva Standard No.: DIF-M3543