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