Kedian Mu, Weiru Liu, Zhi Jin: An Approach to Generating Proposals for Handling Inconsistent Software Requirements. KSEM 2011: 32-43