17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 8. Higher-Order Rewriting and Unification > 372-386
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 8. Higher-Order Rewriting and Unification > 387-399
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 8. Higher-Order Rewriting and Unification > 400-414