著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Vincenzo Gervasi and Didar Zowghi,Reasoning about inconsistencies in natural language requirements,ACM Transactions on Software Engineering and Methodology,1049-331X,Association for Computing Machinery (ACM),2005-07,14,3,277-330,https://cir.nii.ac.jp/crid/1362544418381264512,https://doi.org/10.1145/1072997.1072999