Støvring K. Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form. BRICS [Internet]. 2006 Jun. 12 [cited 2024 Sep. 21];13(12). Available from: https://tidsskrift.dk/brics/article/view/21917