Krom, M. R. (1967). The Decision Problem for Segregated Formulas in First-Order Logic. Mathematica Scandinavica, 21, 233-240. https://doi.org/10.7146/math.scand.a-10862