著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Gabbay, Dov M. and Hogger, Christopher John and Robinson, J. A. (John Alan)",Handbook of logic in artificial intelligence and logic programming,,"Clarendon Press,Oxford University Press",1993,,,,,https://cir.nii.ac.jp/crid/1130000796530195584