Formalization of Generalized Constraint Language: A Crucial Prelude to Computing With Words | IEEE Journals & Magazine | IEEE Xplore