Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach