Symmetry breaking for answer set programming / von Christian Drescher. 2010
Content