Krom, M. R. “The Decision Problem for Segregated Formulas in First-Order Logic”. Mathematica Scandinavica, vol. 21, Dec. 1967, pp. 233-40, https://doi.org/10.7146/math.scand.a-10862.