Probabilistic rewrite strategies. Applications to ELAN (2002)

by O Bournez, C Kirchner
Venue:Proc. 13 th Int. Conf. on Rewriting Techniques and Applications