Krom, M. R. “The Decision Problem for Segregated Formulas in First-Order Logic”. Mathematica Scandinavica 21 (December 1, 1967): 233–240. Accessed July 25, 2026. https://journals.msp.org/mscand/article/view/2463.