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