Patrícia Vargas and Claúdio Geyer. 1997.
Introduzindo o Paralelismo OU na Programação em Lógica com Restrições. In Anais do IX Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, outubro 07, 1997, Campos do Jordão/SP, Brasil. SBC, Porto Alegre, Brasil, 381-396. DOI: https://doi.org/10.5753/sbac-pad.1997.22637.