P. Andrade, J. Rocha, D. Couto, A. Teves, and F. Cozman.
" A Toolset for Propositional Probabilistic Logic", in <em>Anais do VI Encontro Nacional de Inteligência Artificial</em>, Rio de Janeiro/RJ, 2007, pp. 1371-1380.