M. R. Krom, “The Decision Problem for Segregated Formulas in First-Order Logic”., Math. Scand., vol. 21, pp. 233–240, Dec. 1967.