Kabir, Mohimenul, Flavio O Everardo, Ankit K Shukla, Markus Hecher, Johannes Klaus Fichte, and Kuldeep S Meel. 2022. “ApproxASP – a Scalable Approximate Answer Set Counter”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (5):5755-64. https://doi.org/10.1609/aaai.v36i5.20518.