Context Analysis of Intensional Languages. - Weichang Du; Khaled Ben Hamed (COMPSAC (2), 2009)