@article{oai:nagoya.repo.nii.ac.jp:00007560,
 author = {Sakai, Masahiko and Kusakari, Keiichirou},
 journal = {The First International Workshop on Higher-Order Rewriting},
 month = {Jul},
 pages = {25--25},
 title = {On Proving Termination of Higher-Order Rewrite Systems by Dependency Pair Technique},
 year = {2002}
}