"On canonical forms and simplification" - читать интересную книгу автора (Caviness.)