FREIRE, Cibele Matos; 						MARTINS, Ana Teresa.
 Lógicas Modais e Complexidade Descritiva. <em>In</em>: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 7.	, 2009, Bento Gonçalves/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2009
.
 p. 472-481. 
			ISSN 2763-9061.