Kate Revoredo and Gerson Zaverucha. 2010.
 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>, julho 20, 2010, Belo Horizonte/MG, Brasil. SBC, Porto Alegre, Brasil, 97-104.