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