著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"WRLA and Durán, Franciso and European Conferences on Theory and Practice of Software","Rewriting logic and its applications : 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers",,Springer,2012,Lecture notes in computer science,,9783642340048,,https://cir.nii.ac.jp/crid/1130282269684920704