Kabir, M., Everardo, F. O., Shukla, A. K., Hecher, M., Fichte, J. K. and Meel, K. S. (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.