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