TY  - RPRT
TI  - BreakID: Static Symmetry Breaking for ASP (System Description)
AU  - Jo Devriendt
AU  - Bart Bogaerts
PY  - 2016
UR  - https://arxiv.org/abs/1608.08447
ID  - 1608.08447
ER  -