Montaño, Razer, 		Castilho, Marcos, 		Silva, Fabiano, E 		Künzle, Luis.
" Usando Redes de Petri e Resolvedores ISCAS para Tratar Planejamento como Satisfatibilidade" <em>Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)</em> [Online], (19 julho 2011)