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