%0 Journal Article
%A M.R. Krom
%T The Decision Problem for Segregated Formulas in First-Order Logic.
%J Mathematica Scandinavica
%D 1967
%P 233-240
%V 21
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1967__21_166022/
%F MS2_1967__21_166022