Krom MR. The Decision Problem for Segregated Formulas in First-Order Logic. Math. Scand. [Internet]. 1967 Dec. 1 [cited 2026 Jul. 25];21:233-40. Available from: https://journals.msp.org/mscand/article/view/2463