J. Barbosa and C. Geyer. " GRANLOG: Um Modelo para Análise Automática de Granulosidade na Programação em Lógica", in Anais do VII Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho, Canela, 1995, pp. 61-75, doi: https://doi.org/10.5753/sbac-pad.1995.19854.