著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"新井, 紀子",命題論理の証明の複雑さに関する研究,,[国立情報学研究所],2004,科学研究費補助金基盤研究(C)(2)研究成果報告書,,,,https://cir.nii.ac.jp/crid/1130000796191717888