publicações selecionadas artigo académico Prov Exponential Decision Method. Lecture Notes in Engineering and Computer Science. 2012 artigo de conferência PROV Exponential Decision Method 2012
