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.