R. Costa and C. Amorim.
" 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>, Florianópolis/SC, 1993, pp. 745-760, doi: <a href="https://doi.org/10.5753/sbac-pad.1993.23073">https://doi.org/10.5753/sbac-pad.1993.23073</a>.