Vargas, P., & 		Geyer, C.
1997 out  7.  Introduzindo o Paralelismo OU na Programação em Lógica com Restrições. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :