DIB--A Distributed Implementation of Backtracking - Finkel, Raphael A; Manber, Udi (University of Wisconsin-Madison Department of Computer Sciences, 1985)