著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "溝口, 文雄 and 古川, 康一 and Lassez, Jean-Louis",制約論理プログラミング,,共立出版,1989,知識情報処理シリーズ,,4320024699,,https://cir.nii.ac.jp/crid/1130282269979083008