Støvring, Kristian. “Higher-Order Beta Matching With Solutions in Long Beta-Eta Normal Form”. BRICS Report Series, bd. 13, nr. 12, juni 2006, doi:10.7146/brics.v13i12.21917.