   A Non-heuristic Program for Proving Elementary Logical Theorems
   The paper discusses problems involved in designing a device capable of
distinguishing among speech events that are normally recognized as different 
by native speakers of a particular language. Parallels between these problems
and those of chemical analysis are pointed out.
CACM January, 1959
Dunham, B.
Fridshal, R.
Sward, G. L.
