Formalization of Generalized Constraint Language: A Crucial Prelude to Computing With Words. - Khorasani ES; Rahimi S; Calvert W (IEEE transactions on cybernetics, 2013)