@article{GMJ_1996__3_1_47540,
     author = {Tetruashvili, M.},
     title = {Complexity of the decidability of one class of formulas in quantifier-free set theory with a set-union operator.},
     journal = {Georgian Mathematical Journal},
     pages = {97--100},
     publisher = {mathdoc},
     volume = {3},
     number = {1},
     year = {1996},
     zbl = {0852.03016},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/GMJ_1996__3_1_47540/}
}