@article{ADLY:SCP:19,
 author    = "M. Avanzini and U. {Dal Lago} and A. Yamada",
 title     = {{On Probabilistic Term Rewriting}},
 journal   = {{Science of Computer Programming}},
 volume    = "185",
 year      = 2019,
 pages     = "102338",
 publisher = "Elsevier",
}