Revoredo, Kate, E 		Zaverucha, Gerson.
" Revisão de Teorias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados" <em>Anais do Concurso de Teses e Dissertações da SBC (CTD-SBC)</em> [Online], (20 julho 2010)