Shaw A, Juba B, Meel KS. An Approximate Skolem Function Counter. AAAI [Internet]. 2024Mar.24 [cited 2024Sep.17];38(8):8108-16. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/28650