Montaño, R., 		Silva, F., 		Castilho, M., & 		Künzle, L.
2007 jun 30.  Planejamento como satisfatibilidade: uma abordagem não-clausal. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). [Online] :