Montaño, R., 		Silva, F., 		Castilho, M., & 		Künzle, L.
(2007).
 Planejamento como satisfatibilidade: uma abordagem não-clausal.
In <em>Anais do VI Encontro Nacional de Inteligência Artificial</em>, (pp. 1440-1449). Porto Alegre: SBC.