Vargas, Patrícia, and Claúdio Fernando Resin Geyer.
" Introduzindo o Paralelismo OU na Programação em Lógica com Restrições." <em>Proceedings of the 9th Brazilian Symposium on Computer Architecture and High Performance Computing,
Campos do Jordão/SP, 1997</em>. SBC, 1997,  
pp.381-396.