Krom MR. The Decision Problem for Segregated Formulas in First-Order Logic. Math. Scand. 1967;21:233-240. doi:10.7146/math.scand.a-10862