Beyersdorff, O.; Giesen, J.; Goral, A.; Hoffmann, T.; Kasche, K.; Staudt, C. Proof Systems for Tensor-Based Model Counting. AAAI 2026, 40, 14175-14183.