@article{Berger_2006,
    doi = {10.1007/s11225-006-6604-5},
    url = {https://doi.org/10.1007%2Fs11225-006-6604-5},
    year = {2006},
    month = {feb},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {82},
    number = {1},
    pages = {25--49},
    author = {Ulrich Berger and Stefan Berghofer and Pierre Letouzey and Helmut Schwichtenberg},
    title = {Program Extraction from Normalization Proofs},
    journal = {Studia Logica}
}

@article{Berger_2006, doi = {10.1007/s11225-006-6604-5}, url = {https://doi.org/10.1007%2Fs11225-006-6604-5}, year = {2006}, month = {feb}, publisher = {Springer Science and Business Media {LLC}}, volume = {82}, number = {1}, pages = {25--49}, author = {Ulrich Berger and Stefan Berghofer and Pierre Letouzey and Helmut Schwichtenberg}, title = {Program Extraction from Normalization Proofs}, journal = {Studia Logica} }