An overview of Rewrite Rule Laboratory (1995)

by D Kapur
Venue:RRL)”, J. Comput. Math. Appl