著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Gem Stapleton and Judith Masthoff and Jean Flower and Andrew Fish and Jane Southern,Automated Theorem Proving in Euler Diagram Systems,Journal of Automated Reasoning,0168-7433,Springer Science and Business Media LLC,2007-06-02,39,4,431-470,https://cir.nii.ac.jp/crid/1362544420538145792,https://doi.org/10.1007/s10817-007-9069-y