Montaño, Razer, Fabiano Silva, Marcos Castilho, and Luis Künzle.
" Planejamento como satisfatibilidade: uma abordagem não-clausal." <em>Anais do VI Encontro Nacional de Inteligência Artificial,
Rio de Janeiro/RJ, 2007</em>. SBC, 2007,  
pp.1440-1449.