著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL ,Verification & validation of knowledge based systems : papers from the 1998 workshop,,AAAI Press,1998,Technical report,,1577350642,,https://cir.nii.ac.jp/crid/1130282272410366720