Cynthia A. Brown Larry Finkelstein Paul Walton Purdom Jr. Backtrack Searching in the Presence of Symmetry. 203-219 1996 3 Nord. J. Comput. 3 db/journals/njc/njc3.html#BrownFP96