Symmetry−breaking answer set solving (AI Communications, 2011)

(untitled) - Drescher, C; Tifrea, O; Walsh, T