Laszlo Kalmar Janos Suranyi On the Reduction of the Decision Problem. 65-73 1947 12 J. Symb. Log. 3 db/journals/jsyml/jsyml12.html#KalmarS47