Krom, M. R. “The Decision Problem for Segregated Formulas in First-Order Logic”. MATHEMATICA SCANDINAVICA 21 (December 1, 1967): 233–240. Accessed May 5, 2024. https://www.mscand.dk/article/view/10862.