COSTA, Ruy Marinho da; AMORIM, Cláudio Luis de. Simulação de Modelos Paralelos de Programação em Lógica. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 5. , 1993, Florianópolis/SC. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1993 . p. 745-760. DOI: https://doi.org/10.5753/sbac-pad.1993.23073.