Term rewriting: Some experimental results (1991)

by David A Plaisted, Richard C Potter
Venue:J. Symbolic Computation