Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"Mitsuhashi, Ichiro and Oyamaguchi, Michio and Yamada, Toshiyuki",The Reachability and Related Decision Problems for Semi-Constructor TRSs (Theoretical Computer Science and its Applications),数理解析研究所講究録,1880-2818,京都大学数理解析研究所,2005-04,1426,,101-105,https://cir.nii.ac.jp/crid/1050282676667271808,