Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"冨田, 也斗 and 青戸, 等人",関数型プログラムから論理制約付き条件付き項書き換えシステムへの変換,情報処理学会論文誌プログラミング（PRO）,1882-7802,,2023-06-29,16,2,30-30,https://cir.nii.ac.jp/crid/1050859616045243264,