Krom, M. R. The Decision Problem for Segregated Formulas in First-Order Logic. Math. Scand. 1967, 21, 233-240.