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