James M. Crawford Matthew L. Ginsberg Eugene M. Luks Amitabha Roy Symmetry-Breaking Predicates for Search Problems. 148-159 1996 KR db/conf/kr/kr96.html#CrawfordGLR96