著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
COOK S. A.,A hierarchy for nondeterministic time complexity,J. Comput. Syst. Sci.,,,1973,7,,343-353,https://cir.nii.ac.jp/crid/1571135651032738048,