Kedian Mu Zhi Jin Ruqian Lu Inconsistency-Based Strategy for Clarifying Vague Software Requirements. 39-48 2005 conf/ausai/2005 Australian Conference on Artificial Intelligence http://dx.doi.org/10.1007/11589990_7 db/conf/ausai/ausai2005.html#MuJL05