The Decision Problem for Segregated Formulas in First-Order Logic. M.R. Krom — 1967 Mathematica Scandinavica