Cuteri, B., Dodaro, C., Ricca, F. & Schueller, P. (2017) Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. THEORY AND PRACTICE OF LOGIC PROGRAMMING , 17(5-6), 780-799.