Shaw, A.; Juba, B.; Meel, K. S. An Approximate Skolem Function Counter. AAAI 2024, 38, 8108-8116.