Andrade, P., 		Rocha, J., 		Couto, D., 		Teves, A., & 		Cozman, F.
2007 jun 30.  A Toolset for Propositional Probabilistic Logic. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). [Online] :