V. Kůla, Q. Kuang, Y. Wang, Y. Wang, and O. Kuželka, “Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence”, AAAI, vol. 40, no. 23, pp. 19198–19207, Mar. 2026.