Domain-Specific Heuristics in Answer Set Programming. - Martin Gebser; Benjamin Kaufmann; Javier Romero 003; Ramón Otero; Torsten Schaub; Philipp Wanko (AAAI, 2013)