Domingos, P.; Webb, W. A Tractable First-Order Probabilistic Logic. AAAI 2021, 26, 1902-1909.