Vancheret, Claudio A. <br/><br/>
Inferencia de tipos en programas lógicos mediante análisis top-down por interpretación abstracta 

 - p. 604-608 
<br/><br/><label>Standard No.: </label>DIF-M4937