Trabalho de Iniciação Científica (2000)
Estudo de paradigmas de programação lógica e desenvolvimento de software, utilizando Visual Prolog, para a análise de falhas em estações derivadoras de energia elétrica.