著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
桜川貴司 and Takashi Sakuragawa and 京都大学数理解析研究所,Temporal Prolog - A Programming Language Based on Temporal Logic,コンピュータソフトウェア,02896540,,1987,4,3,15-27,https://cir.nii.ac.jp/crid/1570572702419634048,