Detecting looping simpli cations (1987)

by P W Purdom
Venue:In Proc. 2nd Int. Conf. Rewriting Techniques and Applications