Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
中嶋 辰成 and 青戸 等人 and 外山 芳人,書き換え帰納法に基づく帰納的定理の決定手続き,日本ソフトウェア科学会大会論文集,09135391,[東京] : 日本ソフトウェア科学会,2012-08,29,,171-174,https://cir.nii.ac.jp/crid/1520290883849295104,