著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "De Raedt, Luc",Interactive theory revision : an inductive logic programming approach,,Academic Press,1992,Knowledge-based systems,,0122107306,,https://cir.nii.ac.jp/crid/1130000794923997440