A. Goral, J. Giesen, M. Blacher, C. Staudt, and J. Klaus, “Model Counting and Sampling via Semiring Extensions”, AAAI, vol. 38, no. 18, pp. 20395-20403, Mar. 2024.