著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"長橋, 謙 and 青戸, 等人",合流性に基づく交差式条件付き項書き換えシステムのアンラベリング変換の健全性条件,情報処理学会論文誌プログラミング（PRO）,1882-7802,,2023-06-29,16,2,41-41,https://cir.nii.ac.jp/crid/1050859616045256576,