著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Workshop on Logic Program Synthesis and Transformation and Leuschel, Michael","Logic based program synthesis and transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers",,Springer,2003,Lecture notes in computer science,,3540404384,,https://cir.nii.ac.jp/crid/1130000798087812480