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