Ruy Costa and Cláudio Amorim. 1993.
 Simulação de Modelos Paralelos de Programação em Lógica. In <em>Anais do V Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho</em>, setembro 07, 1993, Florianópolis/SC, Brasil. SBC, Porto Alegre, Brasil, 745-760. DOI: <a href="https://doi.org/10.5753/sbac-pad.1993.23073">https://doi.org/10.5753/sbac-pad.1993.23073</a>.