A parallel CLP language GDCC and its parallel constraint solvers for non-linear equations - Aiba, Akira (1993)