著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"AAAI Spring Symposium and Amir, Eyal and Lifschitz, Vladimir and Miller, Rob",Logical formalizations of commonsense reasoning : Papers from the AAAI Spring Symposium : Technical Report SS-07-05,,AAAI Press,2007,Technical report,,9781577353140,,https://cir.nii.ac.jp/crid/1130000797122527232