Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"Ichiro, Mitsuhashi and Michio, Oyamaguchi and Yoshikatsu, Ohta and Toshiyuki, Yamada",The Joinability and Related Decision Problems for Semi-constructor TRSs,情報処理学会論文誌,1882-7764,東京 : 情報処理学会,2006-05-15,47,5,1502-1514,https://cir.nii.ac.jp/crid/1050001337882553344,