著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Rewriting Techniques and Applications and Treinen, Ralf","Rewriting techniques and applications : 20th international conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 : proceedings",,Springer,2009,Lecture notes in computer science,,9783642023477,,https://cir.nii.ac.jp/crid/1130282270144869504