G. Van den Broeck and J. Davis, “Conditioning in First-Order Knowledge Compilation and Lifted Probabilistic Inference”, AAAI, vol. 26, no. 1, pp. 1961–1967, Sep. 2021.