著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Workshop on Logic Program Synthesis and Transformation and Fribourg, Laurent and Turini, Franco and International Workshop, META","Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings",,Springer-Verlag,1994,Lecture notes in computer science,,3540587926,,https://cir.nii.ac.jp/crid/1130282269757650816