Montaño, Razer, Marcos Castilho, Fabiano Silva, and Luis Künzle.
" Usando Redes de Petri e Resolvedores ISCAS para Tratar Planejamento como Satisfatibilidade." <em>Anais do VIII Encontro Nacional de Inteligência Artificial,
Natal/RN, 2011</em>. SBC, 2011,  
pp.809-820.