A. Cuteri, G. Mazzotta, and F. Ricca, “2-ASP(Q) Solving Based on CEGAR”, AAAI, vol. 40, no. 23, pp. 19030–19038, Mar. 2026.