著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Workshop on Computer Science Logic and European Association for Computer Science Logic and Fribourg, Laurent","Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings",,Springer,2001,Lecture notes in computer science,,3540425543,,https://cir.nii.ac.jp/crid/1130000797649654400