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

Published: 2006-01-12

Articles