M. Kabir, S. Chakraborty, and K. S. Meel, “Exact ASP Counting with Compact Encodings”, AAAI, vol. 38, no. 9, pp. 10571–10580, Mar. 2024.