Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming | Read Paper on Bytez