P. Vargas and C. Geyer.
" 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>, Campos do Jordão/SP, 1997, pp. 381-396, doi: <a href="https://doi.org/10.5753/sbac-pad.1997.22637">https://doi.org/10.5753/sbac-pad.1997.22637</a>.