Revoredo, K., & Zaverucha, G. (2010). Revisão de Teorias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados. In Anais do XXIII Concurso de Teses e Dissertações, (pp. 97-104). Porto Alegre: SBC.