Ruy Costa and Cláudio Amorim. 1993.
 Simulação de Modelos Paralelos de Programação em Lógica. In <em>Proceedings of the 5th Brazilian Symposium on Computer Architecture and High Performance Computing</em>, September 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>.