Reasoning about inconsistencies in natural language requirements

Vincenzo Gervasi, Didar Zowghi. Reasoning about inconsistencies in natural language requirements. ACM Transactions on Software Engineering Methodology, 14(3):277-330, 2005. [doi]

Abstract

Abstract is missing.