Andrade, Paulo, 		Rocha, José, 		Couto, Danillo, 		Teves, André, E 		Cozman, Fabio.
" A Toolset for Propositional Probabilistic Logic" <em>Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)</em> [Online], (30 junho 2007)