著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Bronstein, Manuel and Grabmeier, Johannes and Weispfenning, Volker and Symbolic Rewriting Techniques Workshop",Symbolic rewriting techniques,,Birkhäuser Verlag,1998,Progress in computer science and applied logic,,"3764359013,0817659013",,https://cir.nii.ac.jp/crid/1130000797536657920