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