M. Kabir, F. O. Everardo, A. K. Shukla, M. Hecher, J. K. Fichte, and K. S. Meel, “ApproxASP – a Scalable Approximate Answer Set Counter”, AAAI, vol. 36, no. 5, pp. 5755-5764, Jun. 2022.