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