Montaño, Razer, 		Silva, Fabiano, 		Castilho, Marcos, E 		Künzle, Luis.
" Planejamento como satisfatibilidade: uma abordagem não-clausal" <em>Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)</em> [Online], (30 junho 2007)