O. Beyersdorff, T. Hoffmann, and K. Kasche, “Proof Systems That Tightly Characterise Model Counting Algorithms”, AAAI, vol. 40, no. 17, pp. 14184–14191, Mar. 2026.