@inproceedings{ADLY:FLOPS:18,
 author    = "M. Avanzini and U. {Dal Lago} and A. Yamada",
 title     = {{On Probabilistic Term Rewriting}},
 booktitle = "Proceedings of the 14th International Symposium on Functional and Logic Programming",
 series    = "Lecture Notes in Computer Science",
 volume    = "10818",
 year      = 2018,
 pages     = "132--148",
 publisher = "Springer Verlag Heidelberg",
}