Luna, José, Cassio P. de Campos, and Fabio G. Cozman.
" Independence in Relational Languages with Finite Domains." <em>Anais do VI Encontro Nacional de Inteligência Artificial,
Rio de Janeiro/RJ, 2007</em>. SBC, 2007,  
pp.1421-1429.