Van den Broeck, G.; Davis, J. Conditioning in First-Order Knowledge Compilation and Lifted Probabilistic Inference. AAAI 2021, 26, 1961-1967.