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