著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Workshop on Logic Program Synthesis and Transformation and Proietti, Maurizio","Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)",,Springer,1996,Lecture notes in computer science,,3540609393,,https://cir.nii.ac.jp/crid/1130000794435668480