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