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, bd. 15, nr. 3, apr. 2008.