Støvring, K. Higher-Order Beta Matching With Solutions in Long Beta-Eta Normal Form. BRICS 2006, 13.