The Decision Problem for Segregated Formulas in First-Order Logic. - Krom, M. R. (Mathematica Scandinavica, 1967)