Detecting looping simplifications (1987)

by P Purdom
Venue:In Proc. 2nd Conf. on Rewrite Rule Theory and Applications (RTA