Symmetry-breaking predicates for search problems (1996)

by J M Crawford, M L Ginsberg, E M Luks, A Roy
Venue:In 5th KR