Vincenzo Gervasi Didar Zowghi Reasoning about inconsistencies in natural language requirements. 277-330 2005 14 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/1072997.1072999 db/journals/tosem/tosem14.html#GervasiZ05