Patrícia Vargas and Claúdio Geyer. 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>, outubro 07, 1997, Campos do Jordão/SP, Brasil. SBC, Porto Alegre, Brasil, 381-396. DOI: <a href="https://doi.org/10.5753/sbac-pad.1997.22637">https://doi.org/10.5753/sbac-pad.1997.22637</a>.