M. Gebser, B. Kaufmann, J. Romero, R. Otero, T. Schaub, and P. Wanko, “Domain-Specific Heuristics in Answer Set Programming”, AAAI, vol. 27, no. 1, pp. 350-356, Jun. 2013.