Laszlo Kalmar On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, A Single Binary Predicate. 1-9 1939 4 J. Symb. Log. 1 db/journals/jsyml/jsyml4.html#Kalmar39