@misc{indiciae886fe1409e93,
  title = {Symmetry-breaking Answer Set Solving},
  author = {Christian Drescher and Oana Tifrea and Toby Walsh},
  year = {2010},
  url = {https://arxiv.org/abs/1008.1809},
  note = {Source identifier: 1008.1809}
}