K. Revoredo and G. Zaverucha.
" Revisão de Teorias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados", in <em>Anais do XXIII Concurso de Teses e Dissertações</em>, Belo Horizonte/MG, 2010, pp. 97-104.