MONTAÑO, Razer; 						SILVA, Fabiano; 						CASTILHO, Marcos; 						KÜNZLE, Luis.
 Planejamento como satisfatibilidade: uma abordagem não-clausal. <em>In</em>: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 6.	, 2007, Rio de Janeiro/RJ.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2007
.
 p. 1440-1449. 
			ISSN 2763-9061.