Costa, Ruy, and Cláudio Luis de Amorim. " Simulação de Modelos Paralelos de Programação em Lógica." Anais do V Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, Florianópolis/SC, 1993. SBC, 1993, pp.745-760.