D. Tolpin and F. Wood, “Maximum a Posteriori Estimation by Search in Probabilistic Programs”, SOCS, vol. 6, no. 1, pp. 201–205, Sep. 2021.