@article{1183733466, author = {Dunham, B. and Fridshal, R.}, title = {The Problem of Simplifying Logical Expressions}, journal = {J. Symbolic Logic}, volume = {24}, number = {1}, year = {1959}, pages = { 17-19}, language = {en}, url = {http://dml.mathdoc.fr/item/1183733466} }
Dunham, B.; Fridshal, R. The Problem of Simplifying Logical Expressions. J. Symbolic Logic, Tome 24 (1959) no. 1, pp. 17-19. http://gdmltest.u-ga.fr/item/1183733466/