@article{ADLY:SCP:19,
 author    = {Martin Avanzini and
                  Ugo Dal Lago and
                  Akihisa Yamada},
 title     = {On probabilistic term rewriting},
 year      = {2020},
 journal   = {Sci. Comput. Program.},
 volume    = {185},
 doi       = {10.1016/J.SCICO.2019.102338},
 keywords  = {article}
}