On Algebraic Simplification. - Fitch, John P. (Comput. J., 1973)