Granlog : um modelo para analise automatica de granulosidade na programacao em logica - Barbosa, Jorge Luis Victoria (1996)