Støvring, Kristian. “Higher-Order Beta Matching With Solutions in Long Beta-Eta Normal Form”. BRICS Report Series 13, no. 12 (juni 12, 2006). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/21917.