Gebser, Martin, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, and Philipp Wanko. 2013. “Domain-Specific Heuristics in Answer Set Programming”. Proceedings of the AAAI Conference on Artificial Intelligence 27 (1):350-56. https://doi.org/10.1609/aaai.v27i1.8585.