Kedian Mu Zhi Jin Ruqian Lu Yan Peng Handling non-canonical software requirements based on Annotated Predicate Calculus. 85-104 2007 11 Knowl. Inf. Syst. 1 http://dx.doi.org/10.1007/s10115-006-0021-y db/journals/kais/kais11.html#MuJLP07