Andrade, Paulo, José C. F. da Rocha, Danillo P. Couto, André da Costa Teves, and Fabio G. Cozman.
" A Toolset for Propositional Probabilistic Logic." <em>Anais do VI Encontro Nacional de Inteligência Artificial,
Rio de Janeiro/RJ, 2007</em>. SBC, 2007,  
pp.1371-1380.