著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Workshop on Computer Science Logic and European Association for Computer Science Logic and European Association for Computer Science Logic. Meeting and Flum, Jörg and Rodríguez Artalejo, M. (Mario)","Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings",,Springer,1999,Lecture notes in computer science,,3540665366,,https://cir.nii.ac.jp/crid/1130000795727770880