Maribel Fernández Ian Mackie Paula Severi Nora Szasz Reduction Strategies for Program Extraction. 2003 6 CLEI Electron. J. 1 http://www.clei.cl/cleiej/paper.php?id=75 db/journals/cleiej/cleiej6.html#FernandezMSS03