著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"HOL User's Group Workshop and Joyce, Jeffrey J. and Seger, Carl-Johan H.","Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings",,Springer-Verlag,1994,Lecture notes in computer science,,"3540578269,0387578269",,https://cir.nii.ac.jp/crid/1130282268836517376