J. Munk, “A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of..”., BRICS, vol. 15, no. 3, Apr. 2008.