Andrade, P., 		Rocha, J., 		Couto, D., 		Teves, A., & 		Cozman, F.
(2007).
 A Toolset for Propositional Probabilistic Logic.
In <em>Anais do VI Encontro Nacional de Inteligência Artificial</em>, (pp. 1371-1380). Porto Alegre: SBC.