Kabir, M., Everardo, F. O., Shukla, A. K., Hecher, M., Fichte, J. K., & Meel, K. S. (2022). ApproxASP – a Scalable Approximate Answer Set Counter. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5755-5764. https://doi.org/10.1609/aaai.v36i5.20518