Kabir, M. (2022) “ApproxASP – a Scalable Approximate Answer Set Counter”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), pp. 5755–5764. doi: 10.1609/aaai.v36i5.20518.