Barbosa, Jorge, E Geyer, Cláudio. " GRANLOG: Um Modelo para Análise Automática de Granulosidade na Programação em Lógica" Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) [Online], (29 julho 1995)