C. Freire and A. Martins.
" Lógicas Modais e Complexidade Descritiva", in <em>Anais do VII Encontro Nacional de Inteligência Artificial</em>, Bento Gonçalves/RS, 2009, pp. 472-481.