No. 12 (2006): RS-12 Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form