Dilkas P., Belle V. Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. KR 2023.

For the implementation, see https://github.com/dilkas/crane.