Beyersdorff, O.; Hoffmann, T.; Kasche, K. Proof Systems That Tightly Characterise Model Counting Algorithms. AAAI 2026, 40, 14184-14191.