Gebser M, Kaufmann B, Romero J, Otero R, Schaub T, Wanko P. Domain-Specific Heuristics in Answer Set Programming. AAAI [Internet]. 2013Jun.30 [cited 2026Apr.25];27(1):350-6. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/8585