Montaño, R., 		Castilho, M., 		Silva, F., & 		Künzle, L.
2011 jul 19.  Usando Redes de Petri e Resolvedores ISCAS para Tratar Planejamento como Satisfatibilidade. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). [Online] :