TY  - JOUR
AU  - M.R. Krom
TI  - The Decision Problem for Segregated Formulas in First-Order Logic.
JO  - Mathematica Scandinavica
PY  - 1967
SP  - 233
EP  - 240
VL  - 21
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS2_1967__21_166022/
ID  - MS2_1967__21_166022
ER  -