著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"松浦, 昭洋 and 岩間, 一雄",SATのいくつかの部分問題の複雑さについて (計算理論とアルゴリズムの新展開),数理解析研究所講究録,1880-2818,京都大学数理解析研究所,2001-05,1205,,113-118,https://cir.nii.ac.jp/crid/1050001202060949248,