Biernacka, M.; Danvy, O.; Støvring, K. Program Extraction from Proofs of Weak Head Normalization. BRICS 2005, 12.