S. Sanner and E. Abbasnejad, “Symbolic Variable Elimination for Discrete and Continuous Graphical Models”, AAAI, vol. 26, no. 1, pp. 1954–1960, Sep. 2021.