Development of rewriting strategies
Book chapter (January 1993)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Book chapter (January 1993)
Article in Journal of Symbolic Computation (October 1992)
Conference proceeding (January 1990)