Barbosa, J., & 		Geyer, C.
1995 jul 29.  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] :