MONTAÑO, Razer; 						CASTILHO, Marcos; 						SILVA, Fabiano; 						KÜNZLE, Luis.
 Usando Redes de Petri e Resolvedores ISCAS para Tratar Planejamento como Satisfatibilidade. <em>In</em>: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 8.	, 2011, Natal/RN.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2011
.
 p. 809-820. 
			ISSN 2763-9061.