Vargas, P., & 		Geyer, C.
(1997).
 Introduzindo o Paralelismo OU na Programação em Lógica com Restrições.
In <em>Proceedings of the 9th Brazilian Symposium on Computer Architecture and High Performance Computing</em>, (pp. 381-396). Porto Alegre: SBC.
doi:10.5753/sbac-pad.1997.22637