Freire, Cibele, E 		Martins, Ana.
" Lógicas Modais e Complexidade Descritiva" <em>Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)</em> [Online], (20 julho 2009)