BreakID: Static Symmetry Breaking for ASP (System Description) | Read Paper on Bytez