Canonical algebraic simplification in computational logic (1975)

by D Lankford