Krom, M. R. (1967) “The Decision Problem for Segregated Formulas in First-Order Logic”., MATHEMATICA SCANDINAVICA, 21, pp. 233–240. doi: 10.7146/math.scand.a-10862.