2lp: A Highly Parallel Constraint Logic Programming Language. - C. Atay; Ken McAloon; Carol Tretkoff (PPSC, 1993)