Dib - a distributed implementation of backtracking (1987)

by Raphael Finkel, Udi Manber
Venue:A CM Transactions on Programming Languages and Systems