Introducing simplification rules. (1991)

by Thom Fruhwirth
Venue:J.