2002年 Term Rewriting with Variable Binding Proceedings of The First International Workshop on Higher-Order Rewriting (HOR'02) HAMANA MAKOTO エクスポート BibTeX RIS