Montaño, R., 		Castilho, M., 		Silva, F., & 		Künzle, L.
(2011).
 Usando Redes de Petri e Resolvedores ISCAS para Tratar Planejamento como Satisfatibilidade.
In <em>Anais do VIII Encontro Nacional de Inteligência Artificial</em>, (pp. 809-820). Porto Alegre: SBC.