Støvring, Kristian. “Higher-Order Beta Matching With Solutions in Long Beta-Eta Normal Form”. BRICS Report Series 13, no. 12 (June 12, 2006). Accessed November 24, 2024. https://tidsskrift.dk/brics/article/view/21917.