@article{weko_16937_1,
   author	 = "KEIICHIROU,KUSAKARI and YOSHIHITO,TOYAMA",
   title	 = "On Proving AC - Termination by Argument Filtering Method",
   journal	 = "情報処理学会論文誌プログラミング（PRO）",
   year 	 = "2000",
   volume	 = "41",
   number	 = "SIG04(PRO7)",
   pages	 = "65--78",
   month	 = "jun"
}