Vargas, Patrícia, E 		Geyer, Claúdio.
" Introduzindo o Paralelismo OU na Programação em Lógica com Restrições" <em>Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (7 outubro 1997)