Cobo, María Laura <br/><br/>
Fundamentos lógicos e implementación de una extensión a Temporal Prolog 

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