Vargas, P., & 		Geyer, C.
(1997).
 Introduzindo o Paralelismo OU na Programação em Lógica com Restrições.
In <em>Anais do IX Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho</em>, (pp. 381-396). Porto Alegre: SBC.
doi:10.5753/sbac-pad.1997.22637