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