@phdthesis{oai:nagoya.repo.nii.ac.jp:00018478,
 author = {Yamada, Akihisa and 山田, 晃久},
 month = {Sep},
 school = {名古屋大学, Nagoya University},
 title = {The Weighted Path Order for Termination of Term Rewriting},
 year = {2014}
}