| |
| 1970 | ||
|---|---|---|
| 2 | M. R. Krom: The Decision Problem for Formulas in Prenex Conjunctive Normal Form with Binary Disjunctions. J. Symb. Log. 35(2): 210-216 (1970) | |
| 1963 | ||
| 1 | M. R. Krom: Separation Principles in the Hierarchy Theory of Pure First-Order Logic. J. Symb. Log. 28(3): 222-236 (1963) | |