Cuteri, A.; Mazzotta, G.; Ricca, F. 2-ASP(Q) Solving Based on CEGAR. AAAI 2026, 40, 19030-19038.