著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"白井, 康之 and Reiner, H and 長谷川, 隆三",有限区間制約を付加したモデル生成型定理証明系とその応用,情報処理学会論文誌,1882-7764,東京 : 情報処理学会,2002-12-15,43,12,4059-4066,https://cir.nii.ac.jp/crid/1050845762814050944,