Laszlo Kalmar, Janos Suranyi On the Reduction of the Decision Problem: Third Paper. Pepis Prefix, a Single Binary Predicate. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1950, v:15, n:3, pp:161-173 [Journal]
Jan Kalicki A Test for the Existence of Tautologies According to Many-Valued Truth-Tables. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1950, v:15, n:3, pp:182-184 [Journal]