@article{bbls05, AUTHOR = {U. Berger and S. Berghofer and P. Letouzey and H. Schwichtenberg}, TITLE = {Program extraction from normalization proofs}, JOURNAL = "Studia Logica", VOLUME = 82, YEAR = "2005", NOTE = "Special issue" }