著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Gent, Ian and Maaren, Hans van and Walsh, Toby",SAT2000 : highlights of satisfiability research in the year 2000,,"IOS Press,Ohmsha [distributor]",2000,Frontiers in artificial intelligence and applications,,"1586030612,427490363X",,https://cir.nii.ac.jp/crid/1130000793660475520