C. Atay Ken McAloon Carol Tretkoff 2lp: A Highly Parallel Constraint Logic Programming Language. 822-828 1993 PPSC db/conf/ppsc/ppsc1993-2.html#AtayMT93