B. Dunham R. Fridshal The Problem of Simplifying Logical Expressions. 17-19 1959 24 J. Symb. Log. 1 db/journals/jsyml/jsyml24.html#Fridshal59