Andrade, P., 		Rocha, J., 		Couto, D., 		Teves, A., & 		Cozman, F.
(2007).
 A Toolset for Propositional Probabilistic Logic.
In <em>Proceedings of the 6th National Meeting on Artificial Intelligence</em>, (pp. 1371-1380). Porto Alegre: SBC.