Paulo Andrade, José Rocha, Danillo Couto, André Teves, and Fabio Cozman. 2007.
 A Toolset for Propositional Probabilistic Logic. In <em>Anais do VI Encontro Nacional de Inteligência Artificial</em>, junho 30, 2007, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 1371-1380.