John Fitch On Algebraic Simplification. 23-27 1973 16 Comput. J. 1 db/journals/cj/cj16.html#Fitch73