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