Costa, Cristiano, E Geyer, Cláudio. " Uma Proposta de Escalonamento Distribuído para Exploração do Paralelismo na Programação em Lógica" Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) [Online], (28 setembro 1998)