Biernacka, M., Danvy, O. and Støvring, K. 2005. Program Extraction from Proofs of Weak Head Normalization. BRICS Report Series. 12, 12 (Apr. 2005). DOI:https://doi.org/10.7146/brics.v12i12.21878.