J. Barbosa and C. Geyer. " GRANLOG: Um Modelo para Análise Automática de Granulosidade na Programação em Lógica", in Proceedings of the 7th Brazilian Symposium on Computer Architecture and High Performance Computing, Canela, 1995, pp. 61-75, doi: https://doi.org/10.5753/sbac-pad.1995.19854.