Gebser, M., B. Kaufmann, J. Romero, R. Otero, T. Schaub, and P. Wanko. “Domain-Specific Heuristics in Answer Set Programming”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 27, no. 1, June 2013, pp. 350-6, doi:10.1609/aaai.v27i1.8585.