Støvring, Kristian. 2006. “Higher-Order Beta Matching With Solutions in Long Beta-Eta Normal Form”. BRICS Report Series 13 (12). https://doi.org/10.7146/brics.v13i12.21917.