Reyes, Nora Susana <br/><br/>
Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo 

<br/><br/><label>Standard No.: </label>DIF-M3544