著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Prehofer, Christian",Solving higher-order equations : from logic to programming,,Birkhäuser,1998,Progress in theoretical computer science,,"0817640320,3764340320",,https://cir.nii.ac.jp/crid/1130282271072818432