Freire, C., & 		Martins, A.
2009 jul 20.  Lógicas Modais e Complexidade Descritiva. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). [Online] :