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