Additional Key Words and Phrases: algebraic manipulation, zero recognition, canonical form
Selected references B. F. Caviness. On canonical forms and simplification. Journal of the ACM, 17(2):385-396, April 1970.