@inproceedings {bioinflmu-863,
	title = {{New Development in Extracting Tail Recursive Programs from Proofs}},
	booktitle = {Pre-Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR{\textquoteright}09)},
	year = {2009},
	address = {Coimbra, Portugal, September 9-11, 2009},
	keywords = {heun-group},
	author = {Philippe Audebaud and Luca Chiarabini}
}