Aditya Kumar Ghose
Univ. of Alberta, Canada
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)