著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Voronkov, Andrei","Rewriting techniques and applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17 2008 : proceedings",,Springer,2008,Lecture notes in computer science,,9783540705888,,https://cir.nii.ac.jp/crid/1130000797677589888