Barbosa, Jorge, and Cláudio Fernando Resin Geyer. " GRANLOG: Um Modelo para Análise Automática de Granulosidade na Programação em Lógica." Anais do VII Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho, Canela, 1995. SBC, 1995, pp.61-75.