Razer Montaño, Marcos Castilho, Fabiano Silva, and Luis Künzle. 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>, julho 19, 2011, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 809-820.