@article{MS2_1967__21_166022,
     author = {M.R. Krom},
     title = {The {Decision} {Problem} for {Segregated} {Formulas} in {First-Order} {Logic.}},
     journal = {Mathematica Scandinavica},
     pages = {233--240},
     publisher = {mathdoc},
     volume = {21},
     year = {1967},
     zbl = {0169.31003},
     url = {http://geodesic.mathdoc.fr/item/MS2_1967__21_166022/}
}