Algebraic simplification: A guide for the perlexed (1971)

by J Moses
Venue:Communications o/ the ACM