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