@article{DBLP:journals/rcc/KamareddineMA03,
author = {Fairouz Kamareddine and
Fran\c{c}ois Monin and
Mauricio Ayala-Rinc{\'o}n},
title = {On Automating the Extraction of Programs from Termination
Proofs},
journal = {Revista Colombiana de Computaci{\'o}n},
volume = {4},
number = {2},
year = {2003},
ee = {http://www.unab.edu.co/editorialunab/revistas/rcc/pdfs/r42_art3_r.pdf},
bibsource = {DBLP, http://dblp.uni-trier.de}
}