K. Støvring, “Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form”, BRICS, vol. 13, no. 12, Jun. 2006.