O. Beyersdorff, J. Giesen, A. Goral, T. Hoffmann, K. Kasche, and C. Staudt, “Proof Systems for Tensor-based Model Counting”, AAAI, vol. 40, no. 17, pp. 14175–14183, Mar. 2026.