Costa, R., & Amorim, C. 1993 set 7. Simulação de Modelos Paralelos de Programação em Lógica. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :