P. Domingos and W. Webb, “A Tractable First-Order Probabilistic Logic”, AAAI, vol. 26, no. 1, pp. 1902–1909, Sep. 2021.