Dib—a distributed implementation of backtracking (1987)

by R Finkel, Udi Manber
Venue:ACM Trans. Program. Lang. Syst