(1)
Tolpin, D.; Wood, F. Maximum a Posteriori Estimation by Search in Probabilistic Programs. SOCS 2021, 6, 201-205.