Kabir, M.; Everardo, F. O.; Shukla, A. K.; Hecher, M.; Fichte, J. K.; Meel, K. S. ApproxASP – a Scalable Approximate Answer Set Counter. AAAI 2022, 36, 5755-5764.