A. Shaw, B. Juba, and K. S. Meel, “An Approximate Skolem Function Counter”, AAAI, vol. 38, no. 8, pp. 8108-8116, Mar. 2024.